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

by Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma
Venue:Journal of Logic and Algebraic Programming