Thesis etd-09212004-141219 |
Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
Rapalini, Luca
email address
lrapali@tin.it
URN
etd-09212004-141219
Thesis title
Uno strumento per l'analisi delle dipendenze e la verifica del flusso di informazione sicuro nel CIL
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
relatore Bernardeschi, Cinzia
relatore Avvenuti, Marco
relatore Avvenuti, Marco
Keywords
- dipendenze
- CIL
- .Net Framework
- SIF
Graduation session start date
26/10/2004
Availability
Full
Summary
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.
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
| Nome file | Dimensione |
|---|---|
| DepCompu...otNet.pdf | 2.76 Mb |
Contatta l’autore |
|