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 BibTeX

John McLean:
Formal methods in security engineering: where we've been, where we are, where we need to go. 1
Electronic Edition (ACM DL) BibTeX
Torben Amtoft, Anindya Banerjee:
Verification condition generation for conditional information flow. 2-11
Electronic Edition (ACM DL) BibTeX
Glenn Bruns, Daniel S. Dantas, Michael Huth:
A simple and expressive semantic framework for policy composition in access control. 12-21
Electronic Edition (ACM DL) BibTeX
Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin:
Formal correctness of conflict detection for firewalls. 22-30
Electronic Edition (ACM DL) BibTeX
Julien Brunel, Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Jean-Paul Bodeveix:
Security policy compliance with violation management. 31-40
Electronic Edition (ACM DL) BibTeX
Jeff Lewis:
Cryptol: specification, implementation and verification of high-grade cryptographic applications. 41
Electronic Edition (ACM DL) BibTeX
Anu Singh, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott D. Stoller, David Scott Warren:
Security policy analysis using deductive spreadsheets. 42-50
Electronic Edition (ACM DL) BibTeX
Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei:
A calculus of challenges and responses. 51-60
Electronic Edition (ACM DL) BibTeX
Klaas Ole Kürtz, Ralf Küsters, Thomas Wilke:
Selecting theories and nonce generation for recursive protocols. 61-70
Electronic Edition (ACM DL) BibTeX
Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner:
Weaving rewrite-based access control policies. 71-80
Electronic Edition (ACM DL) BibTeX