Abstraction and resolution modulo AC: How to verify Diffie-Hellman-like protocols automatically (0)

by Jean Goubault-Larrecq, Muriel Roger, Kumar N Verma
Venue:Journal of Logic and Algebraic Programming, 64(2):219–251, August 2005. exp, × (and Timestamps) in Protocol Analysis 427