Abstract is missing.
- Formal analysis of SAML 2.0 web browser single sign-on: breaking the SAML-based single sign-on for google appsAlessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, M. Llanos Tobarra. 1-10 [doi]
- Minimal backups of cryptographic protocol runsJay A. McCarthy, Shriram Krishnamurthi. 11-20 [doi]
- Local abstract verification and refinement of security protocolsTi Zhou, Mengjun Li, Zhoujun Li. 21-30 [doi]
- Towards provable secure neighbor discovery in wireless networksMarcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux. 31-42 [doi]
- A formal security policy for xenonJohn McDermott, Leo Freitas. 43-52 [doi]
- Stale-safe security properties for group-based secure information sharingRam Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough. 53-62 [doi]