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

Recommendations

Info

30 3. Un modello che integra control flow e data flow eseguire: jmp put msg A questo punto avviene la write con l’esatto stack che l’IDS si aspetta e dunque non viene segnalata come non valida. Terminata la put msg() viene distrutto il suo stack frame e viene passato il controllo al codice dell’epilogo di g(), che distrugge il relativo frame. Il controllo infine torna al main(), dove verrà eseguita la seconda chiamata di put msg(). Per poter ricostruire lo stack però è necessario ottenere alcune informazioni, in particolare i return address delle procedure coinvolte. Nel nostro esempio vogliamo simulare la prima write , quindi lo stack da ricostruire è: [main.22|g.10|put_msg.5|write] La prima informazione che ci serve è il punto in cui ritorna g quando è chiamata dalla riga 22 di main: (gdb) disas main Dump of assembler code for function main: 0x00001fc7 : push %ebp 0x00001fc8 : mov %esp,%ebp 0x00001fca : push %ebx 0x00001fcb : sub $0x14,%esp 0x00001fce : call 0x1fd3 0x00001fd3 : pop %ebx 0x00001fd4 : call 0x1fae 0x00001fd9 : call 0x1f8d 0x00001fde : lea 0x26(%ebx),%eax ;
3.1. Debolezze dei modelli esistenti 31 (gdb) disas g Dump of assembler code for function g: 0x00001f8d : push %ebp 0x00001f8e : mov %esp,%ebp 0x00001f90 : push %ebx 0x00001f91 : sub $0x14,%esp 0x00001f94 : call 0x1f99 0x00001f99 : pop %ebx 0x00001f9a : lea 0x59(%ebx),%eax 0x00001fa0 : mov %eax,(%esp) 0x00001fa3 : call 0x1f4e 0x00001fa8 : add $0x14,%esp ;
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 39: 3.1. Debolezze dei modelli esistent
Page 43 and 44: 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 and 76: 5.2. Sviluppi futuri 65 5.2.1 L’u
Page 77 and 78: 5.2. Sviluppi futuri 67 sistemi. In
Page 79 and 80: Bibliografia [1] System V Applicati

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

Create successful ePaper yourself

Delete template?

Save as template?