Combining different proof techniques for verifying information flow security
Berlin [u.a.] / Springer (2007) [Contribution to a book, 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
Authors
Mantel, Heiko
Sudbrock, Henning
Kraußer, Tina
Identifier
- DOI: 10.1007/978-3-540-71410-1_8
- REPORT NUMBER: RWTH-CONV-197610