Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi. Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptology ePrint Archive, 2006:56, 2006. [doi]
@article{DattaDMW06-0,
title = {Key Exchange Protocols: Security Definition, Proof Method and Applications},
author = {Anupam Datta and Ante Derek and John C. Mitchell and Bogdan Warinschi},
year = {2006},
url = {http://eprint.iacr.org/2006/056},
researchr = {https://researchr.org/publication/DattaDMW06-0},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2006},
pages = {56},
}