|
||||||
|
||||||
|
||||||
|
|
||||||
Autore/Creatore: CUOMO, NICOLANumero di records: 3.
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 su rivista scientifica] BENERECETTI, MASSIMO and CUOMO, NICOLA and PERON, ADRIANO (2009) TPMC: A model checker for time–sensitive security protocols. [Pubblicazione su rivista scientifica] Cuomo, Nicola (2010) Verification of Timed Security Protocols. [Tesi di dottorato] (Inedito) |
