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
Last update Tue May 22 23:23:28 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
