@InProceedings{Cervesato99csfw,
  title        = "{A Meta-Notation for Protocol Analysis}",
  author       = "Iliano Cervesato and Nancy Durgin and Patrick D. Lincoln 
                  and John C. Mitchell and Andre Scedrov",
  booktitle    = "12th Computer Security Foundations Workshop --- CSFW-12",
  pages        = "55--69",
  address      = "Mordano, Italy",
  publisher    = "IEEE Computer Society Press",
  year         = "1999",
  month        = "28--30 June"
}