Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05
Latest Publications

TOTAL DOCUMENTS

8

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By ACM Press

1595932313

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Formal security analysis of basic network-attached storage

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103583 ◽

2005 ◽

Author(s):

Avik Chaudhuri ◽

Martín Abadi

Keyword(s):

Security Analysis ◽

Basic Network ◽

Network Attached Storage

Download Full-text

On fairness in simulatability-based cryptographic systems

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103579 ◽

2005 ◽

Author(s):

Michael Backes ◽

Dennis Hofheinz ◽

Jörn Müller-Quade ◽

Dominique Unruh

Download Full-text

A rewriting-based inference system for the NRL protocol analyzer

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103578 ◽

2005 ◽

Author(s):

Santiago Escobar ◽

Catherine Meadows ◽

José Meseguer

Keyword(s):

Inference System ◽

Protocol Analyzer

Download Full-text

Towards computationally sound symbolic analysis of key exchange protocols

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103580 ◽

2005 ◽

Author(s):

Prateek Gupta ◽

Vitaly Shmatikov

Keyword(s):

Symbolic Analysis ◽

Key Exchange ◽

Key Exchange Protocols

Download Full-text

Provable anonymity

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103585 ◽

2005 ◽

Author(s):

Flavio D. Garcia ◽

Ichiro Hasuo ◽

Wolter Pieters ◽

Peter van Rossum

Download Full-text

Risk assessment in distributed authorization

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103581 ◽

2005 ◽

Author(s):

Peter Chapin ◽

Christian Skalka ◽

X. Sean Wang

Keyword(s):

Risk Assessment ◽

Distributed Authorization

Download Full-text

Email feedback

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103586 ◽

2005 ◽

Author(s):

Saket Kaushik ◽

William Winsborough ◽

Duminda Wijesekera ◽

Paul Ammann

Download Full-text

The framework of selective interleaving functions and the modular assembly kit

Proceedings of the 2005 ACM workshop on Formal methods in security engineering - FMSE '05 ◽

10.1145/1103576.1103584 ◽

2005 ◽

Author(s):

Heiko Mantel

Keyword(s):

Modular Assembly

Download Full-text