Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004

Vijayalakshmi Atluri Michael Backes 0001 David A. Basin Michael Waidner Proceedings of the 2004 ACM Workshop on Formal Methods in Security Engineering, FMSE 2004, Washington, DC, USA, October 29, 2004 FMSE ACM 2004 1-58113-971-3 db/conf/ccs/ccs2004.html http://dl.acm.org/citation.cfm?id=1030083