UNO STRUMENTO PER L ANALISI DELLE DIPENDENZE E LA VERIFICA DEL FLUSSO DI INFORMAZIONE SICURO NEL CIL
In questa tesi si propone uno strumento per il calcolo delle dipendenze tra le istruzioni del codice CIL ed uno per la verifica del flusso di informazione sicuro negli assembly .Net DEPCOMPUTERIL & ESIFDOTNET