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:21 - 4 self