@InProceedings{Cervesato02csfw,
  title        = "{A Formal Analysis of Some Properties of Kerberos 5 Using 
                  MSR}",
  author       = "Frederic Butler and Iliano Cervesato and Aaron D. Jaggard 
                  and Andre Scedrov",
  booktitle    = "Fifteenth Computer Security Foundations Workshop --- 
                  CSFW-15",
  pages        = "175--190",
  address      = "Cape Breton, NS, Canada",
  publisher    = "IEEE Computer Society Press",
  year         = "2002",
  month        = "24--26 June"
}