An E-unification Algorithm for Analyzing Protocols that Use Modular Exponentiation
Proc. Intl. Conf on Rewriting Techniques and Applications, RTA-2003,,
Valencia, Spain, June 2003.
Deepak Kapur, Paliath Narendran and Lida Wang

To view entire paper click here