loading...
Minos: Control Data Attack Prevention Orthogonal to Memory Model
Portland,Oregon December 04-December 08
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MICRO.2004.2637th Annual IEEE/ACM International Sy ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Jedidiah R. Crandall, University of California at Davis
Frederic T. Chong, University of California at Davis
We introduce Minos, a microarchitecture that implements Biba's low-water-mark integrity policy on individual words of data. Minos stops attacks that corrupt control data to hijack program control flow but is orthogonal to the memory model. Control data is any data which is loaded into the program counter on control flow transfer, or any data used to calculate such data. The key is that Minos tracks the integrity of all data, but protects control flow by checking this integrity when a program uses the data for control transfer. Existing policies, in contrast, need to differentiate between control and non-control data a priori, a task made impossible by coercions between pointers and other data types such as integers in the C language.
Our implementation of Minos for Red Hat Linux 6.2 on a Pentium-based emulator is a stable, usable Linux system on the network on which we are currently running a web server. Our emulated Minos systems running Linux and Windows have stopped several actual attacks. We present a microarchitectural implementation of Minos that achieves negligible impact on cycle time with a small investment in die area, and minor changes to the Linux kernel to handle the tag bits and perform virtual memory swapping.
Citation:
Jedidiah R. Crandall, Frederic T. Chong, "Minos: Control Data Attack Prevention Orthogonal to Memory Model," micro, pp.221-232, 37th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.