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 BibTeX

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
Electronic Edition (ACM DL) BibTeX
Jay A. McCarthy, Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs. 11-20
Electronic Edition (ACM DL) BibTeX
Ti Zhou, Mengjun Li, Zhoujun Li:
Local abstract verification and refinement of security protocols. 21-30
Electronic Edition (ACM DL) BibTeX
Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux:
Towards provable secure neighbor discovery in wireless networks. 31-42
Electronic Edition (ACM DL) BibTeX
John McDermott, Leo Freitas:
A formal security policy for xenon. 43-52
Electronic Edition (ACM DL) BibTeX
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough:
Stale-safe security properties for group-based secure information sharing. 53-62
Electronic Edition (ACM DL) BibTeX