Changes between Version 15 and Version 16 of TIEDCredentials


Ignore:
Timestamp:
05/17/13 16:00:03 (11 years ago)
Author:
faber@isi.edu
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TIEDCredentials

    v15 v16  
    7575
    7676{{{
    77 AM.privilege(Target, Principal) <- Issuer.privilege(Target, Principal)
     77AM.privilege(Target) <- Issuer.privilege(Target)
    7878}}}
    7979
     
    8181
    8282{{{
    83 AM.resolve(Target, Principal) <- Issuer.resolve(Target, Principal)
    84 AM.info(Target, Principal) <- Issuer.info(Target, Principal)
     83AM.resolve(Target) <- Issuer.resolve(Target)
     84AM.info(Target) <- Issuer.info(Target)
    8585}}}
    8686
     
    9292
    9393{{{
    94  (1) Issuer.privilege(Target, P) <- Issuer.speaks_for(P)
     94 (1) Issuer.privilege(Target) <- Issuer.speaks_for(P)
    9595 (2) Issuer.speaks_for(P) <- P
    9696 (3) Issuer.speaks_for(P) <- Issuer.TrustedTool & P.speaks_for(P)
     
    136136
    137137{{{
    138 Issuer.privilege(Target, P) <- Issuer.can_delegate_privilege(Target, P).privilege(Target, P)
    139 Issuer.can_delegate_privilege(Target, P) <- P
     138Issuer.privilege(Target) <- Issuer.can_delegate_privilege(Target).privilege(Target)
     139Issuer.can_delegate_privilege(Target) <- P
    140140}}}
    141141