@Proceedings{	  gligor.ea:proceedings:2007,
  address	= {Fairfax, USA},
  editor	= {Virgil D. Gligor and Heiko Mantel},
  title		= {Proceedings of the ACM Workshop on Formal Methods in
		  Security Engineering: From Specifications to Code (FMSE)},
  year		= 2007
}