Cerca per relatore della tesi | |
Risultati da
1 a 12 di 220
Autore |
Titolo |
Corso di studi |
Relatore |
CORTI, FEDERICO |
METODOLOGIE DI SUPPORTO ALLA PROGRAMMAZIONE SICURA SU JAVA CARD MULTI-APPLICATIVE |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
MASCI, PAOLO |
Progetto e sviluppo di un verificatore efficiente del bytecode java |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
PROVENZANO, NICOLA ALESSANDRO |
Progettazione e sviluppo di uno strumento per la tutela della riservatezza delle informazioni in applicazioni .NET |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
CASAMASSIMA, GIANFRANCO |
Uno strumento per la verifica delle subroutine nel bytecode Java per sistemi con risorse limitate |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
AGOSTINI, MANOLA |
Uno strumento basato sulle reti di Petri per determinare le dipendenze di programmi concorrenti |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
RAPALINI, LUCA |
Uno strumento per l'analisi delle dipendenze e la verifica del flusso di informazione sicuro nel CIL |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
CASTRUCCI, ALESSANDRO |
Progetto e Sviluppo dell'Applet "Garbage Collector" per Java Card |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
DE LUCA, MARCO |
A password management service for a distributed financial trading environment |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
MERLONI, LUCA |
Gestione degli utenti con LDAP per il controllo degli accessi basato su attributi |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
RAUSA, MATTIA |
Uno strumento per la simulazione di reti di sensori multi-applicazione basato su Tossim |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
CORAZZI, MANRICO |
Progettazione e realizzazione di un sistema web per la gestione di scommesse online |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|
TINARI, LIVIANA |
Progettazione di un database per la verifica della sostenibilità dell'offerta formativa dell'Università di Pisa. |
INGEGNERIA INFORMATICA |
Bernardeschi
, Cinzia
|