Deriving Ephemeral Authentication Using Channel Axioms

Dusko Pavlovic, Catherine Meadows. Deriving Ephemeral Authentication Using Channel Axioms. In Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe, editors, Security Protocols XVII, 17th International Workshop, Cambridge, UK, April 1-3, 2009. Revised Selected Papers. Volume 7028 of Lecture Notes in Computer Science, pages 240-261, Springer, 2009. [doi]

Abstract

Abstract is missing.