TPMC: A Model Checker for Time-Sensitive Security Protocols

PERON, ADRIANO (2007) TPMC: A Model Checker for Time-Sensitive Security Protocols. In: High performance computing and simulation conference (HPCS 2007), June, 4-6, 2007, Prague.

Full text non disponibile da questo archivio.


Tipologia di documento:Contributo in atti di congresso o conferenza (Non specificato)
Settori scientifico-disciplinari MIUR:Non specificato
Stato del full text:Accessibilità ristretta
Data:2007
Altri Autori:BENERECETTI M; CUOMO N; A. PERON
Numero di pagine:0
Intervallo di pagina:pp. 742-749
Dipartimento o Struttura:Dipartimento di Scienze Fisiche
Titolo dell'evento:High performance computing and simulation conference (HPCS 2007)
Luogo dell'Evento:Prague
Data dell'evento:June, 4-6, 2007
Numero di sistema:5650
Depositato il:18 Ottobre 2010 10:15
Ultima modifica:18 Ottobre 2010 10:15

Solo per gli Amministratori dell'archivio: edita il record