Symbolic protocol analysis with products and Diffie-Hellman exponentiation (2003)

by J Millen, V Shmatikov
Venue:In Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW’03