Deriving Ephemeral Authentication Using Channel Axioms - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dusko Pavlovic' in GoogleThis author has not been identified. Look up 'Catherine Meadows' in Google

runs on WebDSL