@proceedings{backes04proceedings,
  author       = {Backes, Michael and Basin, David and Waidner, Michael},
  title        = {Proceedings of 2nd ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'04, Washington D.C.},
  month        = {October},
  year         = {2004},
  publisher    = {ACM}
}