Skip to Main content Skip to Navigation
Journal articles

Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically

Complete list of metadata

https://hal.inria.fr/hal-03200947
Contributor : Jean Goubault-Larrecq <>
Submitted on : Saturday, April 17, 2021 - 8:30:36 AM
Last modification on : Saturday, May 1, 2021 - 3:39:24 AM

Identifiers

Citation

Jean Goubault-Larrecq, Muriel Roger, Kumar Neeraj Verma. Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically. The Journal of Logic and Algebraic Programming, Elsevier, 2005, 64 (2), pp.219-251. ⟨10.1016/j.jlap.2004.09.004⟩. ⟨hal-03200947⟩

Share

Metrics

Record views

39