Abstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols Automatically (2004)

Cached

Download Links

by J. Goubault-Larrecq , M. Roger , K. N. Verma
Citations:13 - 3 self

Document Versions

Abstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols Automatically –J. Goubault-Larrecq, M. Roger, K. N. Verma — 2004
Abstraction and Resolution Modulo AC: How to Verify Diffie-Hellman-like Protocols Automatically –Jean Goubault-larrecq, Muriel Roger, Kumar Neeraj Verma — 2004