Flexible Policy-Directed Code Safety

Get BibTex-formatted data

Author

David Evans, Andrew Twyman

Entry type

article

Abstract

This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform-independent way...

URL

http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=766716

Key alpha

Evans

Publication Date

2001-01-01

Language

English

BibTex-formatted data

To refer to this entry, you may select and copy the text below and paste it into your BibTex document. Note that the text may not contain all macros that BibTex supports.