Combining different proof techniques for verifying information flow security

Berlin [u.a.] / Springer (2007) [Contribution to a conference proceedings]

Logic-based program synthesis and transformation : 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 ; revised selected papers / Germán Puebla (ed.)
Page(s): 94-110

Authors

Selected Authors

Mantel, Heiko
Sudbrock, Henning
Kraußer, Tina

Identifier