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

by C Meadows, P Narendran
Venue:In Proceedings of the Workshop on Issues in the Theory of Security (WITS’02