@proceedings{backes03proceedings,
  author       = {Backes, Michael and Basin, David and Waidner, Michael},
  title        = {Proceedings of 1st ACM Workshop on Formal Methods in Security Engineering (FMSE) , affiliated with ACM CCS'03, Washington D.C.},
  month        = {October},
  year         = {2003},
  publisher    = {ACM}
}