CUOMO, NICOLA
CUOMO, NICOLA
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.008 secondi).
TPMC: A model checker for time–sensitive security protocols
2009 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
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
| 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 | |
| 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 | |
| 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 |