Deriving ephemeral authentication using channel axioms

Dusko Pavlovic, Catherine Meadows

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

301 Downloads (Pure)

Original language	English
Title of host publication	Proceedings of the Cambridge Workshop on Security Protocols 2009
Editors	Bruce Christianson
Publisher	Springer-Verlag
Publication status	Accepted/In press - 2012

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag

Access to Document

@inproceedings{ddc99535b4e646838fe70ac9da78bc9b,

title = "Deriving ephemeral authentication using channel axioms",

author = "Dusko Pavlovic and Catherine Meadows",

note = "to appear",

year = "2012",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer-Verlag",

editor = "Bruce Christianson",

booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",

}