Rob Delicata Steve Schneider An algebraic approach to the verification of a class of Diffie-Hellman protocols. 183-196 2007 6 Int. J. Inf. Sec. 2-3 http://dx.doi.org/10.1007/s10207-007-0013-2 db/journals/ijisec/ijisec6.html#DelicataS07