Deriving ephemeral authentication using channel axioms

Dusko Pavlovic, Catherine Meadows

Research output: Chapter in Book/Report/Conference proceedingConference contribution

306 Downloads (Pure)
Original languageEnglish
Title of host publicationProceedings of the Cambridge Workshop on Security Protocols 2009
EditorsBruce Christianson
Publication statusAccepted/In press - 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Cite this