No-Match Attacks and Robust Partnering Definitions: Defining Trivial Attacks for Security Protocols is Not Trivial.

Yong Li, Sven Schge

Browse the full CCS paper archive.