Show simple item record

dc.contributor.authorTiwari, Mohit
dc.contributor.authorOberg, Jason K.
dc.contributor.authorLi, Xun
dc.contributor.authorValamehr, Jonathan
dc.contributor.authorLevin, Timothy
dc.contributor.authorHardekopf, Ben
dc.contributor.authorKastner, Ryan
dc.contributor.authorChong, Frederic T.
dc.contributor.authorSherwood, Timothy
dc.date.accessioned2015-06-30T22:26:51Z
dc.date.available2015-06-30T22:26:51Z
dc.date.issued2011
dc.identifier.citationISCA’11, June 4–8, 2011, San Jose, California, USA. Copyright 2011 ACM 978-1-4503-0472-6/11/06en_US
dc.identifier.urihttp://hdl.handle.net/10945/45480
dc.description.abstractHigh assurance systems used in avionics, medical implants, and cryptographic devices often rely on a small trusted base of hardware and software to manage the rest of the system. Crafting the core of such a system in a way that achieves flexibility, security, and performance requires a careful balancing act. Simple static primitives with hard partitions of space and time are easier to analyze formally, but strict approaches to the problem at the hardware level have been extremely restrictive, failing to allow even the simplest of dynamic behaviors to be expressed.en_US
dc.description.sponsorshipThis work was funded in part by Grant No. CCF-0448654, CNS-0524771, CCF- 0702798, and the US Department of Defense under AFOSR MURI grant FA9550-07-1-0532.en_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. As such, it is in the public domain, and under the provisions of Title 17, United States Code, Section 105, may not be copyrighted.en_US
dc.titleCrafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Securityen_US
dc.typeArticleen_US
dc.contributor.departmentComputer Scienceen_US
dc.subject.authorHigh Assurance Systemsen_US
dc.subject.authorGate Level Information Flow Trackingen_US
dc.subject.authorNon-interferenceen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record