| 
|
Quote: proof that document D is the object that client C associates with name N; by transitivity, signed certificates, and hashes
topics >
all references >
references g-h >
Group:
program proving
Topic:
authentication
Quotation Skeleton
Figure 1: A structured proof. This proof shows … hash of the client's key K_C, H_D is … [The root statement H_D => K_C & N, is true by transitivity of a transitivity proof that K_S => K_C & N and the signed-certificate H_D=>K_S.] Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: authentication (87 items)