FMSE 2008:
Alexandria,
VA,
USA
Vitaly Shmatikov (Ed.):
Proceedings of the 6th ACM Workshop on Formal Methods in Security Engineering, FMSE 2008, Alexandria, VA, USA, October 27, 2008.
ACM 2008, ISBN 978-1-60558-288-7 
- Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra:
Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google apps.
1-10
- Jay A. McCarthy, Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs.
11-20
- Ti Zhou, Mengjun Li, Zhoujun Li:
Local abstract verification and refinement of security protocols.
21-30
- Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux:
Towards provable secure neighbor discovery in wireless networks.
31-42
- John P. McDermott, Leo Freitas:
A formal security policy for xenon.
43-52
- Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough:
Stale-safe security properties for group-based secure information sharing.
53-62
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
