@InProceedings{Cervesato01entcs,
  title        = "{Typed Multiset Rewriting Specifications of Security 
                  Protocols}",
  author       = "Iliano Cervesato",
  booktitle    = "First Irish Conference on the Mathematical Foundations of 
                  Computer Science and Information Technology --- MFCSIT'00",
  pages        = "1--43",
  editor       = "A. Seda",
  address      = "Cork, Ireland",
  publisher    = "Elsevier ENTCS 40",
  year         = "2000",
  month        = "19--21 July"
}