Caroline Kudla Kenneth G. Paterson Modular Security Proofs for Key Agreement Protocols. 549-565 2005 conf/asiacrypt/2005 ASIACRYPT http://dx.doi.org/10.1007/11593447_30 db/conf/asiacrypt/asiacrypt2005.html#KudlaP05