Salvato in:
Dettagli Bibliografici
Autore: Pironti , Alfredo <1982- >
Titolo:Sound automatic implementation generation and monitoring of security protocol implementations from verified formal specifications : Ph. D. dissertation / Alfredo Pironti ; supervisor: Riccardo Sisto ; Ph. D. coordinator: Pietro Laface
Pubblicazione:[Torino], 2010
Descrizione fisica:1 volume
Note:In testa al frontespizio: Politecnico di Torino, Scuola di dottorato, Ph. D in ingegneria informatica e dei sistemi, 22. cycle
Tesi svolta presso il Politecnico di Torino, Dipartimento di automatica e informatica
Numero BNI:BN 2011-1627T
Autori secondari: Politecnico di Torino : Dipartimento di automatica e informatica
Classe Dewey:621.3 INGEGNERIA ELETTROTECNICA, MAGNETICA, DELLE COMUNICAZIONI, ILLUMINAZIONE; SUPERCONDUTTIVITA; OTTICA APPLICATA; PARAFOTICA; ELETTRONICA; ELABORATORI (ed. 14)
Classe MIUR: ING-INF/05 - Sistemi di elaborazione delle informazioni
LEADER 02627nam0a22003853i 4500
001 CFI0771891
005 20240623024020.0
020 |a IT  |b 2011-1627T  
049 |a SBN 
100 |a 20110620d2010 ||||0itac50 ba 
101 | |a eng 
102 |a it 
181 1 |6 z01  |a i   |b xxxe  
182 1 |6 z01  |a n 
200 1 |a Sound automatic implementation generation and monitoring of security protocol implementations from verified formal specifications  |e Ph. D. dissertation  |f Alfredo Pironti  |g supervisor: Riccardo Sisto  |g Ph. D. coordinator: Pietro Laface 
210 |a [Torino]  |d 2010 
215 |a 1 volume 
300 |a In testa al frontespizio: Politecnico di Torino, Scuola di dottorato, Ph. D in ingegneria informatica e dei sistemi, 22. cycle 
300 |a Tesi svolta presso il Politecnico di Torino, Dipartimento di automatica e informatica  
676 |a 621.3  |9 INGEGNERIA ELETTROTECNICA, MAGNETICA, DELLE COMUNICAZIONI, ILLUMINAZIONE; SUPERCONDUTTIVITA; OTTICA APPLICATA; PARAFOTICA; ELETTRONICA; ELABORATORI  |v 14 
689 |a ING-INF/05  |b Sistemi di elaborazione delle informazioni  |c TDR  |3 CFID000502 
700 1 |a Pironti  |b , Alfredo  |f  <1982- >  |3 CFIV264493 
712 0 1 |a Politecnico di Torino  |b  : Dipartimento di automatica e informatica  |3 CFIV248970 
791 0 2 |a Politecnico  |c  <Torino>  |b  : Facoltà di ingegneria  |d  <3.>  |b  : Dipartimento di automatica e informatica  |3 CFIV248971  |z Politecnico di Torino : Dipartimento di automatica e informatica 
791 0 2 |a Politecnico  |c  <Torino>  |b  : Dipartimento di automatica e informatica  |3 CFIV264487  |z Politecnico di Torino : Dipartimento di automatica e informatica 
791 0 2 |a Politecnico di Torino  |b  : 3. Facoltà di ingegneria  |b  : Dipartimento di automatica e informatica  |3 CFIV264502  |z Politecnico di Torino : Dipartimento di automatica e informatica 
791 0 2 |a Politecnico di Torino  |b  : Facoltà di ingegneria dell'informazione  |b  : Dipartimento di automatica e informatica  |3 CFIV264541  |z Politecnico di Torino : Dipartimento di automatica e informatica 
791 0 2 |a Politecnico di Torino  |b  : DAUIN  |3 CFIV278157  |z Politecnico di Torino : Dipartimento di automatica e informatica 
791 0 2 |a Politecnico di Torino  |b  : Department of Control and Computer Engineering  |3 CFIV278159  |z Politecnico di Torino : Dipartimento di automatica e informatica 
801 3 |a IT  |b IT-FI0098  |c 20110620 
850 |a IT-FI0098  
960 0 |a Bibl. Nazionale Centrale Di Firenze  |d  CFTDR 110 944  |e CFTD 000009963 L VMB   |g TDR 110 00944  |h 20110620  |i 20110620 
977 |a  CF 
FMT |a TD 
FOR |a TD 
Tesi di dottorato | Lingua: Inglese | Paese: Italia | BID: CFI0771891
Visualizza in formato Unimarc
Biblioteca Inventario Volume Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TD 000009963 TDR 110 944 Tesi di dottorato Disponibile Effettua il login per verificare la disponibilità del documento