Hoare Logic for Disjunctive Information Flow

Hanne Riis Nielson, Flemming Nielson, Ximeng Li. Hoare Logic for Disjunctive Information Flow. In Chiara Bodei, Gian Luigi Ferrari, Corrado Priami, editors, Programming Languages with Applications to Biology and Security - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday. Volume 9465 of Lecture Notes in Computer Science, pages 47-65, Springer, 2015. [doi]

Abstract

Abstract is missing.