Changes between Version 15 and Version 16 of TIEDCredentials

Timestamp:

05/17/13 16:00:03 (12 years ago)

Author:

faber@isi.edu

Comment:

--

TIEDCredentials

@@ -75 +75 @@
 
 {{{
-AM.privilege(Target, Principal) <- Issuer.privilege(Target, Principal)
+AM.privilege(Target) <- Issuer.privilege(Target)
 }}}
 
@@ -81 +81 @@
 
 {{{
-AM.resolve(Target, Principal) <- Issuer.resolve(Target, Principal)
-AM.info(Target, Principal) <- Issuer.info(Target, Principal)
+AM.resolve(Target) <- Issuer.resolve(Target)
+AM.info(Target) <- Issuer.info(Target)
 }}}
 
@@ -92 +92 @@
 
 {{{
- (1) Issuer.privilege(Target, P) <- Issuer.speaks_for(P)
+ (1) Issuer.privilege(Target) <- Issuer.speaks_for(P)
  (2) Issuer.speaks_for(P) <- P
  (3) Issuer.speaks_for(P) <- Issuer.TrustedTool & P.speaks_for(P)
@@ -136 +136 @@
 
 {{{
-Issuer.privilege(Target, P) <- Issuer.can_delegate_privilege(Target, P).privilege(Target, P)
-Issuer.can_delegate_privilege(Target, P) <- P
+Issuer.privilege(Target) <- Issuer.can_delegate_privilege(Target).privilege(Target)
+Issuer.can_delegate_privilege(Target) <- P
 }}}