Deriving ephemeral authentication - Pavlovic, D; Meadows, C (Proceedings of the Cambridge Workshop on Security Protocols 2009, 2009)