An intruder model for verifying liveness in security protocols.

Jan Cederquist, Muhammad Torabi Dashti

Browse the full CCS paper archive.