Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006

Marianne Winslett Andrew D. Gordon David Sands Proceedings of the 2006 ACM workshop on Formal methods in security engineering, FMSE 2006, Alexandria, VA, USA, November 3, 2006 FMSE ACM 2006 1-59593-550-9 db/conf/ccs/ccs2006fmse2006.html