Torna al livello superiore
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Tipologia del documento | Nessun raggruppamento
Numero di documenti: 3.

Cuomo, Nicola (2010) Verification of Timed Security Protocols. [Tesi di dottorato] (Inedito)

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]

Questa lista è stata generata il Thu Mar 28 22:41:16 2024 CET.