@Proceedings{	  backes.ea:proceedings:2003,
  copyright	= {ACM, Inc.},
  copyrighturl	= {http://portal.acm.org/citation.cfm?id=948109&dl=GUIDE&dl=ACM&type=proceeding&idx=948109&part=Proceedings&WantType=Proceedings&title=Conference
		  on Computer and Communications Security},
  cover		= {2003/2_fmse03.png},
  editor	= {Michael Backes and David Basin and Michael Waidner},
  language	= {USenglish},
  month		= {Oct},
  organization	= {2003 ACM Workshop on Formal Methods in Security
		  Engineering},
  publisher	= {ACM Press},
  title		= {Proceedings of the 2003 ACM Workshop on Formal Methods in
		  Security Engineering},
  year		= 2003,
  user		= {bgeiser}
}