A logic for SDSI's linked local name spaces

Journal of Computer Security

Volumn 9, Issue 1-2, 2001, Pages 105-142

  Halpern, Joseph Y ^a   Van der Meyden, Ron ^b  

^a Department of Computer Science and School of Operations Research and Information Engineering   (United States)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DISTRIBUTED COMPUTER SYSTEMS; LOGIC PROGRAMMING; SEMANTICS;

LOCAL NAME CONTAINMENT; SIMPLE DISTRIBUTED SECURITY INFRASTRUCTURE;

SECURITY OF DATA;

EID: 0035067717     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/JCS-2001-91-205     Document Type: Article

References (19)

1. On SDSI's linked local name spaces
2. A calculus for access control in distributed systems
3. Decentralized trust management
4. The semantics of predicate logic as a programming language
5. Simple public key infrastructure, internet draft
6. Naming and identity in propositional logics. Part I: The propositional case
7. Knowledge and common knowledge in a distributed environment
8. Adding revocation and timestamps to a logic for SDSI's linked local name spaces
9. Logical foundations for trust management
10. Authentication in distributed systems: Theory and practice
11. Fixed point theorems and semantics: A folk tale
12. Local names in SPKI/SDSI
13. SDSI - A simple distributed security infrastructure