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
Last update Tue May 22 23:23:28 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
