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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 6

Author(s):

Avik Chaudhuri ◽

Martín Abadi

Keyword(s):

Security Analysis ◽

Basic Network ◽

Network Attached Storage

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 ◽

Cited By ~ 9

Author(s):

Santiago Escobar ◽

Catherine Meadows ◽

José Meseguer

Keyword(s):

Inference System ◽

Protocol Analyzer

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 ◽

Cited By ~ 8

Author(s):

Michael Backes ◽

Dennis Hofheinz ◽

Jörn Müller-Quade ◽

Dominique Unruh

Download Full-text

Provable anonymity

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

10.1145/1103576.1103585 ◽

2005 ◽

Cited By ~ 33

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 ◽

Cited By ~ 6

Author(s):

Peter Chapin ◽

Christian Skalka ◽

X. Sean Wang

Keyword(s):

Risk Assessment ◽

Distributed Authorization

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 ◽

Cited By ~ 8

Author(s):

Prateek Gupta ◽

Vitaly Shmatikov

Keyword(s):

Symbolic Analysis ◽

Key Exchange ◽

Key Exchange Protocols

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 ◽

Cited By ~ 4

Author(s):

Heiko Mantel

Keyword(s):

Modular Assembly

Download Full-text

Email feedback

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

10.1145/1103576.1103586 ◽

2005 ◽

Cited By ~ 2

Author(s):

Saket Kaushik ◽

William Winsborough ◽

Duminda Wijesekera ◽

Paul Ammann

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Formal security analysis of basic network-attached storage

A rewriting-based inference system for the NRL protocol analyzer

On fairness in simulatability-based cryptographic systems

Provable anonymity

Risk assessment in distributed authorization

Towards computationally sound symbolic analysis of key exchange protocols

The framework of selective interleaving functions and the modular assembly kit

Email feedback

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