DMCA

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

by Jean Goubault-larrecq , Muriel Roger , Kumar Neeraj Verma
Citations:26 - 6 self