@inproceedings{PavlovicD:CWSP09,
  title = "Deriving ephemeral authentication using channel axioms",
  author = "Dusko Pavlovic and Catherine Meadows",
  year = "2010",
  booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",
  editor = "Bruce Christianson",
  note = "to appear",
  publisher = "Springer Verlag",
  series = "Lecture Notes in Computer Science",
}