User Tools

Site Tools


Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering (co-located with CCS 2005) (BibTeX)

@PROCEEDINGS{KuestersMitchell-FMSE-2005,
  title       = {Proceedings of the 2005 ACM Workshop on Formal Methods in Security Engineering (co-located with CCS 2005)},
  year        = 2005,
  editor      = {Ralf K{\"u}sters and John Mitchell},
  address     = {Fairfax, Virginia, USA},
  month       = {November 11},
  publisher   = {ACM Press}
}