Rob Delicata Steve A. Schneider A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. 34-46 2005 conf/ifip1-7/2005 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/11679219_4 db/conf/ifip1-7/fast2005.html#DelicataS05