Reconstructing trust management

Journal of Computer Security

Volumn 12, Issue 1 SPEC. ISS., 2004, Pages 131-164

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

^a Stanford University   (United States)

^b SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; CRYPTOGRAPHY; GRAPH THEORY;

AUTHORIZATION; LOGICAL CHARACTERIZATIONS; TRUST MANAGEMENT SYSTEMS;

SECURITY OF DATA;

EID: 0344443746     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/jcs-2004-12106     Document Type: Conference Paper

References (23)

1. M. Abadi, On SDSI's linked local name spaces, Journal of Computer Security 6(1,2) (1998), 3-21.
2. M. Abadi, M. Burrows, B. Lampson and G. Plotkin, A calculus for access control in distributed systems, ACM Transactions on Programming Languages and Systems 15(4) (1993), 706-734.
3. D. Balfanz, D. Dean and M. Spreitzer, Security infrastructure for distributed Java applications, in: Proceedings of the 2000 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, 2000, pp. 15-26.
4. M. Blaze, J. Feigenbaum and A.D. Keromytis, KeyNote: Trust management for public-key infrastructures, in: Proceedings of the 1998 Security Protocols Workshop, Volume 1550 of Lecture Notes in Computer Science, 1999, pp. 59-63.
5. M. Blaze, J. Feigenbaum and M. Strauss, Compliance checking in the PolicyMaker trust management system, in: FC: International Conference on Financial Cryptography, Volume 1465 of Lecture Notes in Computer Science, 1998, pp. 254-274.
6. M. Blaze, J. Feigenbaum and J. Lacy, Decentralized trust management, in: Proceedings of the 1996 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society Press, 1996, pp. 164-173.
7. A. Chander, D. Dean and J.C. Mitchell, A state-transition model of trust management and access control, in: Proceedings of the 14th IEEE Computer Security Foundations Wokshop, 2001, pp. 27-43.
8. C. Ellison, B. Frantz, B. Lampson, R. Rivest, B. Thomas and T. Ylonen, SPKI certificate theory, RFC 2693, September 1999.
9. M. Gasser, A. Goldstein, C. Kaufman and B. Lampson, The digital distributed system security architecture, in: Proceedings of the 12th NIST-NCSC National Computer Security Conference, 1989, pp. 305-319.
10. J. Gordon, The Alice and Bob after-dinner speech. Invited lecture given at the Zurich Seminar, April 1984. Available at http://www.conceptlabs.co.uk/alicebob.html.
11. J. Halpern and R. van der Meyden, A logic for SDSI's linked local name spaces, Journal of Computer Security 9(1,2) (2001), 75-104.
12. J. Halpern and R. van der Meyden, A logical reconstruction of SPKI, in: Proceedings of the 14th IEEE Computer Security Foundations Workshop, 2001, pp. 59-70.
13. M. Harrison, W. Ruzzo and J. Ullman, Protection in operating systems, in: Communications of the ACM, ACM, 1976, pp. 461-471.
14. B. Lampson, Protection, in: Proceedings of the 5th Annual Princeton Conference on Information Sciences and Systems, Princeton University, 1971, pp. 437-443.
15. B. Lampson, M. Abadi, M. Burrows and E. Wobber, Authentication in distributed systems: Theory and practice, in: William Stalling, Practical Cryptography for Data Internetworks, IEEE Computer Society Press, 1996. Based on article in ACM Transactions on Computer Systems (November) (1992).
16. N. Li, Local names in SPKI/SDSI, in: Proceedings of the 13th Computer Security Foundations Workshop, 2000, pp. 2-15.
17. R.J. Lipton and L. Snyder, A linear time algorithm for deciding subject security, Journal of the ACM 24(3) (1977), 455-64.
18. R. Milner, Operational and Algebraic Semantics of Concurrent Programs, Volume B of Handbook of Theoretical Computer Science, chapter 19, Elsevier Science Publishers B.V., Amsterdam, The Netherlands, 1990, pp. 1201-1242.
19. B.C. Neuman, Proxy-based authorization and accounting for distributed systems, in: International Conference on Distributed Computing Systems, 1993, pp. 283-291.
20. S. Owre, N. Shankar, J.M. Rushby and D.W.J Stringer-Calvert, PVS Language Reference, Version 2.3. SRI International, September 1999. Available from http://pvs.csl.sri.com/.
21. R. Rivest and B. Lampson, SDSI - A Simple Distributed Security Infrastructure, Available at http://theory.lcs.mit.edu/̃rivest/sdsi11.html, October 1996.
22. R.S. Sandhu, E.J. Coyne, H.L. Feinstein and C.E. Youman, Role-based access control models, IEEE Computer 29(2) (1996), 38-47.
23. E. Wobber, M. Abadi, M. Burrows and B. Lampson, Authentication in the Taos operating system, ACM Transactions on Computer Systems 12(1) (1994), 3-32.