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
Identifier
- DOI: 10.1007/978-3-540-71410-1_8
- RWTH PUBLICATIONS: RWTH-CONV-197610