Universally composable symbolic analysis of mutual authentication and key exchange protocols (0)

by R Canetti, J Herzog
Venue:Proceedings, Theory of Cryptography Conference (TCC). Volume 3876 of LNCS., Springer (2006) 380–403 Full version available on http://eprint.iacr.org/2004/334