FMSE 2007: Fairfax, VA, USA

• 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