@Proceedings{	  fmse2004,
  copyright	= {Copyright © 2004 ACM, Inc.},
  cover		= {2004/fmse04.jpg},
  editor	= {Michael Backes, David Basin and Michael  Waidner},
  language	= {USenglish},
  month		= {October},
  organization	= {2004 ACM workshop on Formal methods in security engineering},
  publisher	= {ACM Press New York, NY, USA},
  title		= {Conference on Computer and Communications Security},
  year		= 2004
}