Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007

Peng Ning Vijay Atluri Virgil D. Gligor Heiko Mantel Proceedings of the 2007 ACM workshop on Formal methods in security engineering, FMSE 2007, Fairfax, VA, USA, November 2, 2007 FMSE ACM 2007 978-1-59593-887-9 db/conf/ccs/ccs2007fmse.html