@TechReport{Cervesato06tr,
  title        = "{Deriving Key Distribution Protocols and their Security 
                  Properties}",
  author       = "Iliano Cervesato and Catherine Meadows and Dusko Pavlovic",
  institution  = "Department of Computer Science, Carnegie Mellon University",
  type         = "Technical Report",
  number       = "CMU-CS-06-172",
  address      = "Pittsburgh, PA",
  year         = "2006",
  month        = "June 2005, revised December"
}