@misc{cryptoeprint:2005:270, author = {Kim-Kwang Raymond Choo and Colin Boyd and Yvonne Hitchcock}, title = {Examining Indistinguishability-Based Proof Models for Key Establishment Protocols}, howpublished = {Cryptology ePrint Archive, Report 2005/270}, year = {2005}, url = {http://eprint.iacr.org/2005/270}, }