Documents in the NTIS Technical Reports collection are the results of federally funded research. They are directly submitted to or collected by NTIS from Federal agencies for permanent accessibility to industry, academia and the public.  Before purchasing from NTIS, you may want to check for free access from (1) the issuing organization's website; (2) the U.S. Government Printing Office's Federal Digital System website http://www.gpo.gov/fdsys; (3) the federal government Internet portal USA.gov; or (4) a web search conducted using a commercial search engine such as http://www.google.com.
Accession Number ADA566363
Title Helix Project Testbed - Towards the Self-Regenerative Incorruptible Enterprise.
Publication Date Sep 2011
Media Count 7p
Personal Author F. Chong
Abstract Information flow is an important security property that must be incorporated from the ground up, including at hardware design time, to provide a formal basis for a system's root of trust. We incorporate insights and techniques from designing information-flow secure programming languages to provide a new perspective on designing secure hardware. An important result of our DURIP is a new hardware description language, Caisson, that combines domain- specific abstractions common to hardware design with insights from type-based techniques used in secure programming languages. The proper combination of these elements allows for an expressive, provably-secure HDL that operates at a familiar level of abstraction to the target audience of the language, hardware architects. Additional work in this DURIP was to construct a minimal but configurable secure architectural skeleton. This skeleton couples a critical slice of the low level hardware implementation with a microkernel in a way that allows information flow properties of the entire construction to be statically verified all the way down to its gate-level implementation.
Keywords Central processing units
Computer security
Hardware description language
Information flow tracking
Policies
Programming languages
Secure hardware
Security policies


 
Source Agency Non Paid ADAS
NTIS Subject Category 62A - Computer Hardware
62D - Information Processing Standards
Corporate Author California Univ., Santa Barbara.
Document Type Technical report
Title Note Final rept. 13-14 Sep 2011.
NTIS Issue Number 1307
Contract Number FA9550-10-1-0292

Science and Technology Highlights

See a sampling of the latest scientific, technical and engineering information from NTIS in the NTIS Technical Reports Newsletter

Acrobat Reader Mobile    Acrobat Reader