FMSE 2007: Fairfax, VA, USA
Peng Ning, Vijay Atluri, Virgil D. Gligor, Heiko Mantel (Eds.): Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007. ACM 2007 ISBN 978-1-59593-887-9- John McLean: Formal methods in security engineering: where we've been, where we are, where we need to go. 1
- Torben Amtoft, Anindya Banerjee: Verification condition generation for conditional information flow. 2-11
- Glenn Bruns, Daniel S. Dantas, Michael Huth: A simple and expressive semantic framework for policy composition in access control. 12-21
- Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin: Formal correctness of conflict detection for firewalls. 22-30
- Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix: Security policy compliance with violation management. 31-40
- Jeff Lewis: Cryptol: specification, implementation and verification of high-grade cryptographic applications. 41
- Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren: Security policy analysis using deductive spreadsheets. 42-50
- Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei: A calculus of challenges and responses. 51-60
- Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke: Selecting theories and nonce generation for recursive protocols. 61-70
- Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner: Weaving rewrite-based access control policies. 71-80
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team