Quote: SD3 names may be tied to an IP address; e.g., (K@A)$E(x,y) is relation E at A under public key K; remote evaluator returns E(x,y) as a certificate signed by its private key
We also permit global names to come with … (K@A)$E(x,y) … the edge relation [E(x,y)] is not given locally, … the transitive closure (of a graph) by querying … edge relation, contained in a certificate (or certificates) …
Google-1Google-2