| 
|
Topic: proof-carrying code
topics >
computer science >
programming >
consistency testing
Topic:
constructing proof and program together
Topic:
dynamic code modification
Topic:
error safe systems
Topic:
mathematical proof
Topic:
mobile code
Topic:
operating system security
Topic:
program proof via assertions
Topic:
safety, liveness, and system properties
Topic:
type-safe and secure languages
Subtopic: security proofs
Quote: translate an ML-like language into typed assembly language (TAL); proof carrying code [»morrG1_1998] Quote: simple, fast proof-carrying code; guaranteed conformance with a operating system's safety policy; e.g., network packet filters [»necuGC10_1996] Quote: proof-carrying code by computing the safety predicate and a checkable proof; Floyd's verification conditions [»necuGC10_1996]
Quote: SD3 trust management computes answer and verified proof together; only certified evaluator in trusted computing base; e.g., a secure name service [»jimT5_2000] Quote: iterative, proof-carrying authorization with goals, sessions, and modules; browser must prove a series of challenges by fetching proof components [»baueL8_2002] Quote: certified evaluation via a proof checker for lists of facts, security rules, and derivations; 100 lines of code [»jimT5_2000] Quote: a proof of authority consists of verifiable statements; logic of authentication; e.g., Bob speaks for Alice regarding the statements in set T
[»howeJ_2000]
Topic: consistency testing (60 items)
Topic: constructing proof and program together (22 items)
Topic: dynamic code modification (15 items)
Topic: error safe systems (76 items)
Topic: mathematical proof (23 items)
Topic: mobile code (14 items)
Topic: operating system security (18 items)
Topic: program proof via assertions (61 items)
Topic: safety, liveness, and system properties (22 items)
Topic: type-safe and secure languages
(43 items)