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