ETD

Archivio digitale delle tesi discusse presso l'Università di Pisa

Tesi etd-09212004-141219


Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
Rapalini, Luca
Indirizzo email
lrapali@tin.it
URN
etd-09212004-141219
Titolo
Uno strumento per l'analisi delle dipendenze e la verifica del flusso di informazione sicuro nel CIL
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
relatore Bernardeschi, Cinzia
relatore Avvenuti, Marco
Parole chiave
  • dipendenze
  • CIL
  • .Net Framework
  • SIF
Data inizio appello
26/10/2004
Consultabilità
Completa
Riassunto
In questa tesi viene affrontato il problema dell’analisi statica del codice per rile- vare il trattamento improprio di informazioni personali da parte di applicazioni .NET.
Il flusso di propagazione delle informazioni viene tracciato in base ad impo- stazioni di livello di sicurezza, fornite in modo manuale o automatico ai Tipi definiti nell’applicazione .NET.
A partire dalle informazioni di sicurezza vengono definite una serie di regole atte a formalizzare il comportamento del codice .NET in questo nuovo contesto. Obiettivo finale del lavoro `e stato lo sviluppo di uno strumento in grado di rilevare possibili violazioni della riservatezza dei dati, dovute all’esecuzione di programmi che hanno accesso ad informazioni riservate.
File