Un modello integrato control-flow e data-flow per il rilevamento ...

Recommendations

Info

66 5. Conclusioni e sviluppi futuri open p1 p2 open,w1 p1 p2 read (a) read,w2 (b) malloc p3 malloc,w3 p3 close close,w4 Figura 5.1: Automa senza e con peso sugli archi. w3 = 91% e w4 = 9%. A runtime poi, nel momento in cui si arriva in p4, si deve verificare che questo valga. Quella presentata è soltanto un’idea senza la pretesa di essere corretta, ma sulla quale si vuole ragionare. sia affidabile e che statisticamente sia valido. 5.2.3 Costruzione statica del modello È necessario infatti capire come costruire un modello che L’execution graph, come già visto, viene costruito dinamicamente osservando le esecuzioni di un programma. Si vorrebbe provare a far si che sia il compilatore a costruire l’execution graph, magari sfruttando la notevole modularità e semplicità di interfacciamento di LLVM. L’idea è quella di far in modo che il compilatore, oltre a produrre l’eseguibile, produca anche un file contenente il modello control flow. Al momento dell’esecuzione verrebbero caricati entrambi i file in modo che contestualmente al lancio del programma venga lanciata anche la verifica. 5.2.4 Applicazione del modello a sistemi virtualizzati Analogamente a quanto fatto in [15] è possibile applicare il modello presentato in questa tesi a sistemi virtualizzati, permettendone il monitoraggio invisibile. Il pro- blema principale da risolvere in questo caso è quello di riuscire, dal gestore di mac- chine virtuali, a risalire ai processi che stanno girando nelle istanze virtualizzate dei p4 p4
5.2. Sviluppi futuri 67 sistemi. In altre parole è necessario, data una macchina virtuale, poter separare per PID le varie system call che si osservano. Questa tuttavia non dovrebbe essere un’operazione che presenta particolari difficoltà.
Page 1:
Università degli Studi di Udine Fa
Page 5 and 6:
Ringraziamenti In questo percorso m
Page 7 and 8:
Indice 1 Introduzione 1 1.1 Anomaly
Page 9 and 10:
Elenco delle figure 1.1 Codice sema
Page 11 and 12:
1 Introduzione Dai tempi della “d
Page 13 and 14:
1.1. Anomaly detection e system cal
Page 15 and 16:
1.2. Obiettivo del lavoro 5 informa
Page 17 and 18:
1.3. Struttura della tesi 7 seconda
Page 19 and 20:
2 Modelli per l’anomaly detection
Page 21 and 22:
2.1. Modelli control flow 11 con un
Page 23 and 24:
2.1. Modelli control flow 13 • Vi
Page 25 and 26: 2.1. Modelli control flow 15 1 int
Page 27 and 28: 2.2. Modelli data flow 17 • se v
Page 29 and 30: 2.2. Modelli data flow 19 suo scopo
Page 31 and 32: 2.3. Discussione dei modelli studia
Page 33 and 34: 2.3. Discussione dei modelli studia
Page 35 and 36: 3 Un modello che integra control fl
Page 37 and 38: 3.1. Debolezze dei modelli esistent
Page 45 and 46: 3.2. Proposta 35 1 int main(void) 2
Page 47 and 48: 3.3. Costruzione del modello 37 mai
Page 49 and 50: 3.3. Costruzione del modello 39 Un
Page 51 and 52: 3.3. Costruzione del modello 41 Tra
Page 53 and 54: 3.3. Costruzione del modello 43 Par
Page 55 and 56: 3.3. Costruzione del modello 45 Tut
Page 57 and 58: 3.5. L’algoritmo per la verifica
Page 59 and 60: 3.5. L’algoritmo per la verifica
Page 61 and 62: 4 L’implementazione L’implement
Page 63 and 64: 4.2. Introduzione a DTrace 53 un ce
Page 65 and 66: 4.2. Introduzione a DTrace 55 1 sta
Page 67 and 68: 4.3. Implementazione del sistema 57
Page 69 and 70: 4.4. Costo computazionale del model
Page 71 and 72: 4.4. Costo computazionale del model
Page 73 and 74: 5 Conclusioni e sviluppi futuri La
Page 75: 5.2. Sviluppi futuri 65 5.2.1 L’u
Page 79 and 80: Bibliografia [1] System V Applicati
show all

Un modello integrato control-flow e data-flow per il rilevamento ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?