Deriving ephemeral authentication using channel axioms. / Pavlovic, Dusko; Meadows, Catherine.

Proceedings of the Cambridge Workshop on Security Protocols 2009. ed. / Bruce Christianson. Springer-Verlag, 2012. (Lecture Notes in Computer Science).

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



  • CAM paper

    Submitted manuscript, 249 KB, PDF document

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
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4714676