• macchine virtuali
• identita' processi
• introspezione

Questa tesi descrive uno strumento per difendere un processo da attacchi che ne alterano il flusso d'esecuzione. Lo strumento integra componenti statiche e dinamiche. I concetti principali che hanno guidato il lavoro descritto nella tesi sono la virtualizzazione, l'introspezione delle macchine virtuali, il tracciamento di system
call invocate da un processo e la definizione dell'identità di un processo tramite analisi statica del programma sorgente. L'integrazione di questi concetti ha permesso di progettare e realizzare PsycoTrace, un prototipo per il
monitoraggio di processi basato sulla verifica del flusso di esecuzione tramite tracciamento delle system call e tecniche di introspezione.