| 
|
Quote: SD3 trust management computes answer and verified proof together; only certified evaluator in trusted computing base; e.g., a secure name service
topics >
all references >
references i-l >
Topic:
proof-carrying code
Group:
security
Topic:
constructing proof and program together
Quotation Skeleton
We introduce SD3, a trust management system consisting … unique feature of SD3 is its certified evaluation: … answer follows from the security policy. Before the … as errors. The certified evaluator reduces the trusted … the specification, despite complex optimizations. To illustrate SD3's … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proof-carrying code (7 items)
Group: security (23 topics, 802 quotes)
Topic: constructing proof and program together (22 items)