dblp.uni-trier.de www.uni-trier.de

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, Washingtion, DC, USA, October 29, 2004. ACM 2004, ISBN 1-58113-971-3 BibTeX

Logics and security

Security & analysis I

Security & analysis II

Copyright © Sat May 16 23:00:57 2009 by Michael Ley (ley@uni-trier.de)