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}
}