Automatic verification of security in cryptographic protocols / Simone Tacconi ; tutor: Maurizio Panti ; advisor: Luca Spalazzi
2004.
1 v.
A. a. 2002-2003
In testa al front.: Università politecnica delle Marche, Facoltà di ingegneria, dottorato di ricerca in sistemi artificiali intelligenti
BN 2005-4096T
ING-INF/04 - Automatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0009454
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980404284 TDR 2004 04284 Lettura tesi in sede