A state-transition model of trust management and access control

Proceedings of the Computer Security Foundations Workshop

Volumn , Issue , 2001, Pages 27-43

  Chander, Ajay ^a   Dean, Drew ^b   Mitchell, John C ^a  

^a Stanford University   (United States)

^b PALO ALTO RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; CONCURRENCY CONTROL; MATHEMATICAL MODELS;

ACCESS CONTROL LISTS (ACL);

CRYPTOGRAPHY;

EID: 0034823078     PISSN: 10636900     EISSN: None     Source Type: Journal    
DOI: 10.1109/CSFW.2001.930134     Document Type: Article

References (25)

1. On Sdsi's linked local name spaces
2. A calculus for access control in distributed systems
3. File handling at Cambridge University
4. Compliance checking in the PolicyMaker trust management system
5. KeyNote: Trust management for public-key infrastructures
6. Decentralized trust management
7. REFEREE: Trust management for Web applications
8. Programming semantics for multiprogrammed computations
9. A secure identity-based capability system
10. A logic for SDSI's linked local name spaces
11. Protection in operating systems
12. An overview of the Andrew file system
13. On access checking in capability-based systems
14. Protection
15. Local names in SPKI/SDSI
16. The design of a capability-based distributed operating system
17. The typed access matrix model
18. On testing for absence of rights in access control models
19. On the expressive power of the unary transformation model
20. On the minimality of testing for rights in transformation models