Quote: simple, fast proof-carrying code; guaranteed conformance with a operating system's safety policy; e.g., network packet filters

Quotation Skeleton

This paper describes a mechanism by which an … by an untrusted source. The kernel first defines … in a special form called proof-carrying code, or … the code obeys the safety property. The kernel … the validation succeeds, the code is guaranteed to … we have written several network packet filters in … assembler. … The net result is that our packet filters … Filters, Software Fault Isolation, or safe languages such … [p. 229] the proof checking algorithm is very simple, …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: operating system security (17 items)
Topic: type-safe and secure languages (42 items)
Topic: proof-carrying code (7 items)
Topic: mobile code (14 items)