SPKI Certificate Theory

Bibliographic Reference(s)

• B. Lampson, M. Abadi, M. Burrows, and E. Wobber, "Authentication in distributed systems: Theory and practice", ACM Trans. Computer Systems 10, 4 (Nov. 1992), pp 265-310. EXTERNAL
• Jean-Emile Elien, "Certificate Discovery Using SPKI/SDSI 2.0 Certificates", Masters Thesis, MIT LCS, May 1998, < http://theory.lcs.mit.edu/~cis/theses/elien-masters.ps > [also .pdf and EXTERNAL
• Abadi, Martin, "On SDSI's Linked Local Name Spaces", Proceedings of the 10th IEEE Computer Security Foundations Workshop (June 1997). EXTERNAL
• Abadi, Burrows, Lampson and Plotkin, "A Calculus for Access Control in Distributed Systems", DEC SRC-070, revised August 28, 1991. EXTERNAL
• Matt Blaze, Joan Feigenbaum and Jack Lacy, "Distributed Trust Management", Proceedings 1996 IEEE Symposium on Security and Privacy. EXTERNAL
• Carl Ellison, "Establishing Identity Without Certification Authorities", USENIX Security Symposium, July 1996. EXTERNAL
• Hardy, Norman, "THE KeyKOS Architecture", Operating Systems Review, v.19 n.4, October 1985. pp 8-25. EXTERNAL
• Bomberger, Alan, et al., "The KeyKOS(r) Nanokernel Architecture", Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures, USENIX Association, April 1992. pp 95-112 (In addition, there are KeyKOS papers on the net available through < http://www.cis.upenn.edu/~KeyKOS/#bibliography >). EXTERNAL
• D. Chaum, "Blind Signatures for Untraceable Payments", Advances in Cryptology -- CRYPTO '82, 1983. EXTERNAL
• Landau, Charles, "Security in a Secure Capability-Based System", Operating Systems Review, Oct 1989 pp 2-4. EXTERNAL
• Secure Electronic Transactions -- a protocol designed by VISA, MasterCard and others, including a certificate structure covering all participants. See < http://www.visa.com/ >. EXTERNAL
• C. Ellison, "The nature of a useable PKI", Computer Networks 31 (1999) pp. 823-830. EXTERNAL
• T. A. Linden, "Operating System Structures to Support Security and Reliable Software", Computing Surveys 8(4), December 1976. EXTERNAL
• R. Rivest, "Can We Eliminate Revocation Lists?", to appear in the Proceedings of Financial Cryptography 1998, < http://theory.lcs.mit.edu/~rivest/revocation.ps >. EXTERNAL
• David Kemp, "The Public Key Login Protocol" , Work in Progress. EXTERNAL
• Silvio Micali, "Efficient Certificate Revocation", manuscript, MIT LCS. EXTERNAL
• Whitfield Diffie and Martin Hellman, "New Directions in Cryptography", IEEE Transactions on Information Theory, November 1976, pp. 644-654. EXTERNAL
• Ron Rivest and Butler Lampson, "SDSI - A Simple Distributed Security Infrastructure [ SDSI ]", < http://theory.lcs.mit.edu/~cis/sdsi.html >. EXTERNAL
• "Webster's Ninth New Collegiate Dictionary", Merriam- Webster, Inc., 1991. EXTERNAL
• Henry M. Levy, "Capability-Based Computer Systems", Digital Press, 12 Crosby Dr., Bedford MA 01730, 1984. EXTERNAL
• J. B. Dennis and E. C. Van Horn, "Programming Semantics for Multiprogrammed Computations", Communications of the ACM 9(3), March 1966. EXTERNAL
• McConnell and Appel, "Enabling Privacy, Commerce, Security and Public Safety in the Global Information Infrastructure", report of the Interagency Working Group on Cryptography Policy, May 12, 1996; (quote from paragraph 5 of the Introduction). EXTERNAL
• Ron Rivest, code and description of S-expressions, < http://theory.lcs.mit.edu/~rivest/sexp.html >. EXTERNAL
• Kohnfelder, Loren M., "Towards a Practical Public-key Cryptosystem", MIT S.B. Thesis, May. 1978. EXTERNAL
• IETF RFC 1114 [Superseded*]
• IETF RFC 1321 [Active*]
• IETF RFC 2045 [Active*]
• IETF RFC 2046 [Active, Amended*]
• IETF RFC 2047 [Active*]
• IETF RFC 2065 [Superseded*]
• IETF RFC 2104 [Active, Amended*]
• RSA.PKCS1.v1.4.1991 — 11 EXTERNAL