@InProceedings{Cervesato01save,
  title        = "{A Specification Language for Crypto-Protocols based on 
                  Multiset Rewriting, Dependent Types and Subsorting}",
  author       = "Iliano Cervesato",
  booktitle    = "Workshop on Specification, Analysis and Validation for 
                  Emerging Technologies --- SAVE'01",
  pages        = "1--22",
  editor       = "G. Delzanno and S. Etalle and M. Gabbrielli",
  address      = "Paphos, Cyprus",
  year         = "2001",
  month        = "1 December"
}