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
- 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
- Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough: Stale-safe security properties for group-based secure information sharing. 53-62
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team