Quote: SD3 extends datalog by associating names with authenticated public keys, e.g., T(x,y):-K$E(x,y) holds if E(x,y) and relation E under keyholder of K
Topic: type-safe and secure languages
Group: security
Topic: logic programming
Topic: theorem proving systems
Quotation Skeleton
SD3 is an extension of datalog, a database … [we extend] the language with SDSI global names [refs], which are (local) names paired with public keys. In SD3, … of the keyholder of public key K. In … for example: T(x,y) :- K$E(x,y) This rule says … For example, we could conclude that K$E(1,2) holds … asserting E(1,2). In other words, using a global …
Google-1Google-2
Copyright clearance needed for quotation.
Related Topics
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: logic programming (34 items)
Topic: theorem proving systems (20 items)