 | Torna al livello superiore |
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 3.
Tesi di dottorato
Cuomo, Nicola (2010) Verification of Timed Security Protocols. [Tesi di dottorato] (Inedito)
Pubblicazione in rivista scientifica
Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione in rivista scientifica]
Benerecetti, Massimo and Cuomo, Nicola and Peron, Adriano (2009) An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications. [Pubblicazione in rivista scientifica]
