@Article{Butler06tcs,
  title        = "{Formal Analysis of Kerberos 5}",
  author       = "Frederic Butler and Iliano Cervesato and Aaron D. Jaggard 
                  and Andre Scedrov and Christopher Walstad",
  journal      = "Theoretical Computer Science",
  volume       = "367",
  number       = "1-2",
  pages        = "57--87",
  year         = "2006",
  month        = "To appear"
}