FMSE 2003: Washington, DC, USA

Michael Backes, David A. Basin (Eds.): Proceedings of the 2003 ACM workshop on Formal methods in security engineering, FMSE 2003, Washington, DC, USA, October 30, 2003. ACM 2003, ISBN 1-58113-781-8

Hongbin Zhou, Simon N. Foley:
Fast automatic synthesis of security protocols using backward search. 1-10
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
Secure protocol composition. 11-23
Michael R. Hansen, Robin Sharp:
Using interval logics for temporal analysis of security protocols. 24-31
François Siewe, Antonio Cau, Hussein Zedan:
A compositional framework for access control policies enforcement. 32-42
Sviatoslav Braynov, Murtuza Jadliwala:
Representation and analysis of coordinated attacks. 43-51
Mohamed Hamdi, Noureddine Boudriga:
Algebraic specification of network security risk management. 52-60
Michael Backes, Catherine Meadows, John C. Mitchell:
Relating cryptography and formal methods: a panel. 61-66
Manuel Koch, Francesco Parisi-Presicce:
Formal access control analysis in the software development process. 67-76
Khaled Alghathbar, Duminda Wijesekera:
authUML: a three-phased framework to analyze access control specifications in use cases. 77-86