Universally Composable Symbolic Analysis of Mutual Authentication and Key Exchange Protocols

TitleUniversally Composable Symbolic Analysis of Mutual Authentication and Key Exchange Protocols
Publication TypeJournal Article
Year of PublicationIn Press
AuthorsCanetti, Ran, and Jonathan Herzog
JournalJournal of Cryptology