default search action

combined dblp search
author search
venue search
publication search

ask others

6th FMSE@FMSE 2008: Alexandria, VA, USA

> Home > Conferences and Workshops > FMSE
> Home > Conferences and Workshops > FMSE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ccs/2008fmse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2008fmse
Vitaly Shmatikov:
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
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ArmandoCCCT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ArmandoCCCT08
Alessandro Armando, Roberto Carbone, Luca Compagna, Jorge Cuéllar, 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
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/McCarthyK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/McCarthyK08
Jay A. McCarthy, Shriram Krishnamurthi:
Minimal backups of cryptographic protocol runs. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/ZhouLL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/ZhouLL08
Ti Zhou, Mengjun Li, Zhoujun Li:
Local abstract verification and refinement of security protocols. 21-30
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/PoturalskiPH08a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/PoturalskiPH08a
Marcin Poturalski, Panagiotis Papadimitratos, Jean-Pierre Hubaux:
Towards provable secure neighbor discovery in wireless networks. 31-42
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/McDermottF08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/McDermottF08
John P. McDermott, Leo Freitas:
A formal security policy for xenon. 43-52
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/KrishnanNSW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/KrishnanNSW08
Ram Krishnan, Jianwei Niu, Ravi S. Sandhu, William H. Winsborough:
Stale-safe security properties for group-based secure information sharing. 53-62

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.