Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock. Examining Indistinguishability-Based Proof Models for Key Establishment Protocols. In Bimal K. Roy, editor, Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings. Volume 3788 of Lecture Notes in Computer Science, pages 585-604, Springer, 2005. [doi]
@inproceedings{ChooBH05, title = {Examining Indistinguishability-Based Proof Models for Key Establishment Protocols}, author = {Kim-Kwang Raymond Choo and Colin Boyd and Yvonne Hitchcock}, year = {2005}, doi = {10.1007/11593447_32}, url = {http://dx.doi.org/10.1007/11593447_32}, tags = {rule-based, protocol}, researchr = {https://researchr.org/publication/ChooBH05}, cites = {0}, citedby = {0}, pages = {585-604}, booktitle = {Advances in Cryptology - ASIACRYPT 2005, 11th International Conference on the Theory and Application of Cryptology and Information Security, Chennai, India, December 4-8, 2005, Proceedings}, editor = {Bimal K. Roy}, volume = {3788}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30684-6}, }