A logical reconstruction of SPKI

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 59-70

  Halpern, J Y ^a   Van der Meyden, R ^a  

^a Dept of Computer Science ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; LOGIC PROGRAMMING; MATHEMATICAL MODELS; SEMANTICS;

SIMPLE PUBLIC KEY INFRASTRUCTURE (SPKI);

PUBLIC KEY CRYPTOGRAPHY;

EID: 0034822798     PISSN: 10636900     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. On SDSI's linked local name spaces
2. On the structure of delegation networks
3. A logic for SDSI's linked local name spaces
4. A formal semantics for SPKI
5. A logical language for expressing authorizations
6. Local names in SPKI/SDSI
7. A logic-based knowledge representation for authorization with delegation
8. Can we eliminate certificate revocation lists?
9. Recent-secure authentication: Enforcing revocation in distributed systems
10. An authentication logic supporting synchronization, revocation, and recency
11. Authorization in distributed systems: A new approach