@inproceedings{PavlovicD:ESORICS06,
  title = "Deriving secrecy properties in key establishment protocols",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2006",
  booktitle = "Proceedings of ESORICS 2006",
  editor = "Dieter Gollmann and Andrei Sabelfeld",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
  url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ESORICS06.pdf",
  volume = "4189",
}