Map
Index
Random
Help
th

QuoteRef: necuGC10_1996

topics > all references > ThesaHelp: references m-o



Topic:
operating system security
Topic:
type-safe and secure languages
Topic:
proof-carrying code
Topic:
mobile code
Topic:
program proof via assertions

Reference

Necula, G.C., Lee, P., "Safe kernel extensions without run-time checking", Proceedings of the Second Symposium on Operating Systems Design and Implementation (OSDI '96), Seattle Washington USA, October 1996, USENIX Association P 229-243. Google

Quotations
abstract ;;Quote: simple, fast proof-carrying code; guaranteed conformance with a operating system's safety policy; e.g., network packet filters
234 ;;Quote: proof-carrying code by computing the safety predicate and a checkable proof; Floyd's verification conditions


Related Topics up

Topic: operating system security (18 items)
Topic: type-safe and secure languages (43 items)
Topic: proof-carrying code (7 items)
Topic: mobile code (14 items)
Topic: program proof via assertions (61 items)

Collected barberCB 10/03
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.