Authentication in distributed systems: Theory and practice

Proceedings of the 13th ACM Symposium on Operating Systems Principles, SOSP 1991

Volumn , Issue , 1991, Pages 165-182

  Lampson, Butler ^a   Abadi, Martín ^a   Burrows, Michael ^a   Wobber, Edward ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DELEGATION OF AUTHORITY; DISTRIBUTED SYSTEMS; LOOKUPS; REMOTE PROCEDURE CALL; THEORY AND PRACTICE;

NETWORK SECURITY;

AUTHENTICATION;

EID: 0039015629     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/121132.121160     Document Type: Conference Paper

References (27)

1. M. Abadi, M. Burrows, C. Kaufman, and B Lampson. Authentication and delegation with smart-cards. To appear in Theoretical Aspects of Computer Sofware, Springer, 1991. Also research report 67, Systems Research Center, Digital Equipment Corp., Palo Alto, Oct. 1990.
2. M. Abadi, M. Burrows, B. Lampson, and G. Plotkin. A calculus for access control in distributed systems. To appear in Proc. Crypto '91, Springer, 1992. Also research report 70, Systems Research Center, Digital Equipment Corp., Palo Alto, March 1991.
3. A. Birrell, B. Lampson, R. Needham, and M. Schroeder. Global authentication without global trust. Proc. IEEE Symposium on Security and Privacy, Oakland, 1986, 223-230.
4. M Burrows, M. Abadi, and R. Needham. A logic of authentication ACM Trans. Computer Systems 8, 1, Feb. 1990, 18-36.
5. CCITT. Information processing systems - Open systems interconnection - The directory authentication framework. CCITT 1988 Recommendation X 509. Also ISO/IEC 9594-8:1989.
6. P. Combs. Exponentiation cryptosystems on the IBM PC. IBM Systems Journal 28, 4, 1990, 526-538
7. D. Davis and R. Swick. Network security via private-key certificates. ACM Operating Systems Review 24, 4, Oct. 1990, 64-67.
8. D. Denning. A lattice model of secure information flow. Comm. ACM 19, 5, May 1976, 236-243.
9. Department of Defense. Trusted Computer System Evaluation Criteria. DOD 5200.28-STD, 1985.
10. W. Diffie and M. Hellman, New directions in cryptography. IEEE Trans. Information Theory IT-22, 6, Nov. 1976, 644-654.
11. H. Eberle, Systems Research Center, Digital Equipment Corp., Palo Alto. Private communication.
12. M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The Digital distributed system security architecture. Proc. 12th National Computer Security Conference, NIST/NCSC, Baltimore, 1989, 305-319.
13. M. Gasser and E. McDermott. An architecture for practical delegation in a distributed system. Proc. IEEE Symposium on Security and Privacy, Oakland, 1990, 20-30.
14. B. Herbison. Low cost outboard cryptographic support for SILS and SP4. Proc. 13th National Computer Security Conference, NIST/NCSC, Baltimore, 1990, 286-295.
15. J. Kohl, C. Neuman, and J. Steiner. The Kerberos network authentication service. Version 5, draft 3, Project Athena, MIT, Oct. 1990.
16. B. Lampson. Protection. ACM Operating Systems Review 8, 1, Jan. 1974, 18-24.
17. J. Linn. Practical authentication for distributed systems. Proc. IEEE Symposium on Security and Privacy, Oakland, 1990, 31-40.
18. National Bureau of Standards. Data Encryption Standard. FIPS Pub. 46, Jan. 1977.
19. R. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Comm. ACM 21, 12, Dec. 1978, 993-999.
20. C. Neuman. Proxy-based authorization and accounting for distributed systems. Technical report 91-02-01, University of Washington, Seattle, March 1991.
21. R. Rivest, A. Shamir, and L. Adleman. A method for obtaining digital signatures and public-key cryptosystems. Comm. ACM 21, 2, Feb. 1978, 120-126.
22. R. Rivest. The MD4 message digest algorithm TM 434. Laboratory for Computer Science, MIT, Oct. 1990.
23. J. Saltzer, D. Reed, and D. Clark. End-to-end arguments in system design. ACM Trans. Computer Systems 2, 4, Nov. 1984, 277-288.
24. M. Shand, P. Bertin, and J. Vuillemin. Resource tradeoffs in fast long integer multiplication. 2nd ACM Symposium on Parallel Algorithms and Architectures, Crete, July 1990.
25. J. Steiner, C. Neuman, and J Schiller. Kerberos: An authentication service for open network systems. Proc. Usenix Winter Conference, Usenix Association, Berkeley, CA, Feb. 1988, 191-202.
26. J. Tardo and K. Alagappan. SPX. Global authentication using public key certificates. Proc. 14th National Computer Security Conference, NIST/NCSC, Baltimore, 1991.
27. V. Voydock and S. Kent Security mechanisms in high-level network protocols. ACM Computing Surveys 15, 2, June 1983, 135-171.