Abstract-Control Flow Integrity (CFI) ger ett starkt skydd mot moderna kapningsattacker. Frågor som rör prestanda och kompatibilitet begränsar dock antagandet. Vi föreslår en ny praktisk och realistisk skyddsmetod kallad CCFIR (Compact Control Flow Integrity and Randomization), som tar itu med de viktigaste hindren för CFI antagande. CCFIR samlar alla rättsliga mål för indirekt kontroll överföring instruktioner, sätter dem i en särskild "Springboard avsnitt" i en slumpmässig ordning, och sedan begränsar indirekta överföringar till flödet endast till dem. Med hjälp av Springboard-sektionen för mål kan CCFIR validera ett mål enklare och snabbare än traditionell CFI, och ge stöd för målrandomisering på plats samt bättre kompatibilitet. Baserat på dessa metoder, CCFIR kan stoppa kontroll-flöde kapning attacker inklusive ROP och retur i-libc. Resultaten visar att ROP prylar är alla elimineras. Vi observerar att med den breda utbyggnaden av ASLR, Windows/x86 PE körbara innehåller tillräckligt med information i flytttabeller som CCFIR kan använda för att hitta alla juridiska instruktioner och hoppa mål tillförlitligt, utan källkod eller symbolinformation. Vi utvärderar vår prototyp implementering på vanliga webbläsare och SPEC CPU2000 svit: CCFIR skyddar stora applikationer som GCC och Firefox helt automatiskt, och har låg prestanda overhead på cirka 3,6%/8,6% (genomsnitt/max) med SPECint2000. Experiment på verkliga bedrifter visar också att CCFIR-härdade versioner av IE6, Firefox 3.6 och andra applikationer skyddas effektivt.
CCFIR (Compact Control Flow Integrity and Randomization) REF är en ny metod som föreslås för att förhindra kapningsattacker (t.ex. retur-in-till-libc och ROP).
Practical Control Flow Integrity and Randomization for Binary Executables
{'venue': '2013 IEEE Symposium on Security and Privacy', 'journal': '2013 IEEE Symposium on Security and Privacy', 'mag_field_of_study': ['Computer Science']}