FMSE 2004: Washington, DC, USA

Vijayalakshmi Atluri, Michael Backes, David A. Basin, Michael Waidner (Eds.): Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004. ACM 2004, ISBN 1-58113-971-3

Logics and security

Michele Bugliesi, Riccardo Focardi, Matteo Maffei:
Authenticity by tagging and typing. 1-12
Gilles Barthe, Leonor Prensa Nieto:
Formally verifying information flow type systems for concurrent and thread systems. 13-22
Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader:
Timed model checking of security protocols. 23-32

Security & analysis I

Phan Minh Dung, Phan Minh Thang:
Stepwise development of security protocols: a speech act-oriented approach. 33-44
Lingyu Wang, Duminda Wijesekera, Sushil Jajodia:
A logic-based framework for attribute based access control. 45-55
Nan Zhang, Mark Ryan, Dimitar P. Guelev:
Synthesising verified access control systems in XACML. 56-65

Security & analysis II

Tomás E. Uribe, Steven Cheung:
Automatic analysis of firewall and network intrusion detection system configurations. 66-74
Thuong Doan, Steven A. Demurjian, T. C. Ting, Andreas Ketterl:
MAC and UML for secure software design. 75-85
Brant Hashii:
Lessons learned using alloy to formally specify MLS-PCA trusted security architecture. 86-95

Last update Tue May 22 23:23:28 2012 CET by the DBLP Team —

This material is Open Data

Data released under the ODC-BY 1.0 license — See also our legal information page