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

by J Goubault-Larrecq, M Roger, K N Verma
Venue:Journal of Logic and Algebraic Programming