Salvato in:
| Autore: | Giunti, Marco <1973> |
|---|---|
| Titolo: | Secure implementations of typed channel abstractions |
| Pubblicazione: | : Università Ca' Foscari Venezia, 2010-03-08T08:10:52Z |
| Note: | diritti: Accesso locale (tesi cartacea) 1 v. |
| Autori secondari: | Bugliesi, Michele |
| Classe MIUR: | INF/01 - INFORMATICA |
| Risorsa digitale: |  Copia depositata in BNCF
 Repository di Ateneo
|
| LEADER | 00859nam a2200241 n 4500 | ||
|---|---|---|---|
| 001 | TD16022038 | ||
| 005 | 20200923012345.0 | ||
| 049 | |a TDMAGDIG | ||
| 100 | |a 20190501d2010 --k--ita-50----ba | ||
| 101 | 1 | |a en | |
| 200 | 1 | |a Secure implementations of typed channel abstractions |b Tesi di dottorato | |
| 210 | 1 | |c Università Ca' Foscari Venezia |d 2010-03-08T08:10:52Z | |
| 300 | |a diritti: © Marco Giunti, 2007 |a diritti: Accesso locale (tesi cartacea) | ||
| 328 | 0 | |b tesi di dottorato |c INF/01 INFORMATICA |e Università Ca' Foscari Venezia | |
| 336 | |a Tesi cartacea |a 1 v. | ||
| 689 | 0 | |a INF/01 |b INFORMATICA |c TDR | |
| 700 | 0 | |a Giunti, Marco <1973> | |
| 702 | 0 | |a Bugliesi, Michele | |
| 801 | 3 | |a IT |b IT-FI0098 | |
| 856 | 4 | |u http://memoria.depositolegale.it/*/http://hdl.handle.net/10579/226 |2 http://hdl.handle.net/10579/226 | |
| 977 | |a CR | ||
| FMT | |a TD | ||
| FOR | |a TD | ||
Tesi di dottorato
| Lingua:
| Paese:
| BID: TD16022038
| Biblioteca | Inventario | Volume | Collocazione | Fruizione | status |
|---|
Documenti simili
| Secure implementations of typed channel abstractionsdottorato di ricerca in informatica Ph. D. thesis Giunti , Marco |
| Type-based analysis of security APIs Centenaro, Matteo <1981> |
| Design and implementation of multilevel security architectures Liguori, Angelo |
| Design and implementation of multilevel security architectures. Liguori, Angelo |
| Dynamic typing for security protocols Maffei, Matteo <1978> |
| Implementing distributed computing abstractions in the presence of churn. Bonomi, Silvia |
| Cryptography and physical layer security: the role of channel coding Bianchi, Marco |
| Dynamic typing for security protocolsph. d. thesis Maffei , Matteo |
| Design and implementation of robust systems for secure malware detection Maiorca, Davide |
| Sound automatic implementation generation and monitoring of security protocol implementations from verified formal specificationsPh. D. dissertation Pironti , Alfredo |