A unification algorithm for the group Diffie-Hellman protocol, (2002)

by C Meadows, P Narendran
Venue:Proc. of WITS,