TPMC: A Model Checker For Time-Sensitive Security Protocols. - Massimo Benerecetti; Nicola Cuomo; Adriano Peron (J. Comput., 2009)

Timed protocols insecurity problem is NP-complete. - Massimo Benerecetti; Nicola Cuomo; Adriano Peron (HPCS, 2010)

Verification of Timed Security Protocols. - Nicola Cuomo (2010)