On SDSI's linked local name spaces

Proceedings - IEEE Computer Security Foundations Symposium

Volumn , Issue , 1997, Pages 98-108

  Abadi, Martín ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SECURITY OF DATA;

DISTRIBUTED SECURITY;

SECURITY SYSTEMS;

EID: 85058426170     PISSN: 19401434     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSFW.1997.596794     Document Type: Conference Paper

References (11)

1. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. ACM Transactions on Programming Languuges and Systems, 15(4):706-734, Oct. 1993.
2. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In Proceedings 1996 IEEE Symposium on Security and Privacy, pages 164-173, May 1996.
3. CCITT. Blue Book (Recommendation X.509 and IS0 9594-8: The directory-authentication framework). CCITT, 1988.
4. C. M. Ellison, B. Frantz, and B. M. Thomas. Simple public key certificate. Internet draft, at http://w.clark.net/pub/cme/spki.txt, 1996.
5. M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The Digital Distributed System Security Architecture. In Proceedings of the 1989 National Computer Security Conference, pages 305-319, Oct. 1989.
6. R. Goldblatt. Logics of Time and Computation. Number 7 in CSLI Lecture Notes. CSLI, Stanford, 1987.
7. A. J. Grove and J. Y. Halpem. Naming and identity in epistemic logics, I: The propositional case. Journal of Logic and Computation, 3(4):345-378, 1993.
8. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-3 10, Nov. 1992.
9. R. L. Rivest and B. Lampson. SDSI - A Simple Distributed Security Infrastructure. Version 1.1, at http://theory.lcs.mit.edu/~rivest/sdsill.html October 2, 1996.
10. E. Wobber, M. Abadi, M. Burrows, and B. Lampson. Authentication in the Taos operating system. ACM Transactions on Computer Systems, 12(1):3-32, Feb. 1994.
11. P. R. Zimmermann. The Official PGP User's Guide. MIT Press, 1995.