Combining different proof techniques for verifying information flow security

Mantel, Heiko; Sudbrock, Henning; Kraußer, Tina

Berlin [u.a.] : Springer (2007)
Contribution to a book, Contribution to a conference proceedings

In: 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)/Article-Nr.: 94-110