IRIS

BENERECETTI, MASSIMO

BENERECETTI, MASSIMO  

DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE  

Mostra records
Risultati 1 - 20 di 81 (tempo di esecuzione: 0.035 secondi).
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
Model Checking-Based Analysis of Multiagent Systems 4.1 Articoli in Atti di convegno 2001 Benerecetti, Massimo; Fausto, Giunchiglia
TPMC: A Model Checker for Time-Sensitive Security Protocols 4.1 Articoli in Atti di convegno 2007 Benerecetti, Massimo; Cuomo, N; Peron, Adriano
A Logic of Belief and a Model Checking Algorithm for Security Protocols 4.1 Articoli in Atti di convegno 2000 Benerecetti, Massimo; Giunchiglia, F.
Sviluppo e valutazione di tecniche di model checking per la verifica del software 8.07 Progetti di Ricerca Finanziati 2003 Benerecetti, Massimo
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 Benerecetti, Massimo; N., Cuomo; Peron, Adriano
Timed protocol insecurity problem is NP-complete 1.1 Articolo in rivista 2013 Benerecetti, Massimo; Peron, Adriano
Timed protocols insecurity problem is NP-complete 4.1 Articoli in Atti di convegno 2010 Benerecetti, Massimo; Cuomo, Nicola; Peron, Adriano
VALIDATION OF MULTIAGENT SYSTEMS BY SYMBOLIC MODEL CHECKING. IN F. GIUNCHIGLIA, J. ODELL, G. WEISS (EDS.): AGENT-ORIENTED SOFTWARE ENGINEERING III 2.1 Contributo in volume (Capitolo o Saggio) 2002 Benerecetti, Massimo; A., Cimatti
A LOGIC OF BELIEF AND TIME FOR MODEL CHECKING THE SSL/TLS INTERNET PROTOCOL 4.1 Articoli in Atti di convegno 2002 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Verifica automatica dei protocolli di sicurezza per Internet 8.07 Progetti di Ricerca Finanziati 2004 Benerecetti, Massimo
Model Checking Multiagent Systems 1.1 Articolo in rivista 1998 Benerecetti, Massimo; Giunchiglia, F.
METAFOL: Program Tactics and Logic Tactics plus Reflection 1.1 Articolo in rivista 1996 Benerecetti, Massimo; Spalazzi, L.
The Eureka Tool for Software Model Checking 4.1 Articoli in Atti di convegno 2007 Armando, A; Benerecetti, Massimo; Carotenuto, D; Mantovani, J; Spica, P.
SOUNDNESS OF SCHEMA MATCHING METHODS 4.1 Articoli in Atti di convegno 2005 Benerecetti, Massimo; P., Bouquet; S., Zanobini
The Dimensions Of Context Dependence 2.1 Contributo in volume (Capitolo o Saggio) 2008 Benerecetti, Massimo; P., Bouquet; C., Ghidini
Verso una logica cognitiva per i linguaggi indicali 1.1 Articolo in rivista 2004 Benerecetti, Massimo; Bouquet, P; Zanobini, S.
VERIFICATION OF PAYMENT PROTOCOLS VIA MULTIAGENT MODEL CHECKING 2.1 Contributo in volume (Capitolo o Saggio) 2006 Benerecetti, Massimo; M., Panti; L., Spalazzi; S., Tacconi
Timed HLPSL for specification and verification of time sensitive protocols 4.1 Articoli in Atti di convegno 2006 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