| 
|
QuoteRef: necuGC10_1996
topics >
all references >
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
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
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)