@inproceedings{PavlovicD:CSFW05,
  title = "An encapsulated authentication logic for reasoning about key distribution protocols",
  author = "Iliano Cervesato and Catherine Meadows and Dusko Pavlovic",
  year = "2005",
  booktitle = "Proceedings of CSFW 2005",
  editor = "Joshua Guttman",
  pages = "48--61",
  publisher = "IEEE",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW05.pdf",
}