Jan Cederquist, Muhammad Torabi Dashti: An intruder model for verifying liveness in security protocols. FMSE 2006: 23-32