CUOMO, NICOLA
CUOMO, NICOLA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.012 secondi).
TPMC: A model checker for time–sensitive security protocols
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed HLPSL for specification and verification of time sensitive protocols
2006 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Timed protocols insecurity problem is NP-complete
2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications
2009 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
---|---|---|---|---|
TPMC: A model checker for time–sensitive security protocols | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
Timed HLPSL for specification and verification of time sensitive protocols | 4.1 Articoli in Atti di convegno | 2006 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
Timed protocols insecurity problem is NP-complete | 4.1 Articoli in Atti di convegno | 2010 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano | |
An environment for the specification and verification of time dependent security protocols. International Journal of Computers and Applications | 1.1 Articolo in rivista | 2009 | Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano |