Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08
Latest Publications

TOTAL DOCUMENTS

6

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By ACM Press

9781605582887

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A formal security policy for xenon

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456401 ◽

2008 ◽

Author(s):

John McDermott ◽

Leo Freitas

Keyword(s):

Security Policy

Download Full-text

Stale-safe security properties for group-based secure information sharing

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456402 ◽

2008 ◽

Author(s):

Ram Krishnan ◽

Jianwei Niu ◽

Ravi Sandhu ◽

William H. Winsborough

Keyword(s):

Information Sharing ◽

Secure Information ◽

Security Properties ◽

Secure Information Sharing

Download Full-text

Minimal backups of cryptographic protocol runs

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456398 ◽

2008 ◽

Author(s):

Jay A. McCarthy ◽

Shriram Krishnamurthi

Keyword(s):

Cryptographic Protocol

Download Full-text

Local abstract verification and refinement of security protocols

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456399 ◽

2008 ◽

Author(s):

Ti Zhou ◽

Mengjun Li ◽

Zhoujun Li

Keyword(s):

Security Protocols

Download Full-text

Towards provable secure neighbor discovery in wireless networks

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456400 ◽

2008 ◽

Author(s):

Marcin Poturalski ◽

Panos Papadimitratos ◽

Jean-Pierre Hubaux

Keyword(s):

Wireless Networks ◽

Neighbor Discovery

Download Full-text

Formal analysis of SAML 2.0 web browser single sign-on

Proceedings of the 6th ACM workshop on Formal methods in security engineering - FMSE '08 ◽

10.1145/1456396.1456397 ◽

2008 ◽

Author(s):

Alessandro Armando ◽

Roberto Carbone ◽

Luca Compagna ◽

Jorge Cuellar ◽

Llanos Tobarra

Keyword(s):

Formal Analysis ◽

Web Browser ◽

Download Full-text