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

by J K Millen, V Shmatikov
Venue:In Computer Security Foundations Workshop