Reasoning about public-key certification: On bindings between entities and public keys

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1648, Issue , 1999, Pages 86-103

  Kohlas, Reto ^a   Maurer, Ueli ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; PUBLIC KEY CRYPTOGRAPHY;

GLOBAL INFORMATION INFRASTRUCTURE; INFERENCE RULES; PUBLIC KEY INFRASTRUCTURE; PUBLIC KEYS; TRUST ASSUMPTIONS;

CHROMIUM COMPOUNDS;

EID: 22644449732     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48390-x_7     Document Type: Conference Paper

References (32)

1. W. Stallings. Protect your privacy. Prentice Hall, 1996.
2. I. Lehti and P. Nikander. Certifying trust. In H. Imai and Y. Theng, editors, Proceedings of the first international workshop on Practice and Theory in Public Key Cryptography, PKC'98, pages 83-98, 1998.
3. P. R. Zimmermann. The Official PGP User's Guide. MIT Press, Cambridge, MA, USA, 1995.
4. M. Myers. Revocation: Options and challenges. In R. Hirschfeld, editor, Financial Cryptography, volume 1465 of Lecture Notes in Computer Science, pages 165-172. Springer Verlag, Berlin, 1998.
5. S. Micali. Efficient certificate revocation. Technical report, Technical Memo MIT/LCS/TM-542b, 1996.
6. M. Abadi. On SDSI's linked local name spaces. In Proceedings of the 10th IEEE Computer Security FoundationsWorkshop, pages 98-108. IEEE Computer Society, 1997.
7. U. Maurer. Modelling a public-key infrastructure. In E. Bertino, H. Kurth, G. Martella, and E. Montolivo, editors, Proceedings 1996 European Symposium on Research in Computer Security (ESORICS' 96), Lecture Notes in Computer Science, Springer, LNCS, pages 325-350, 1996.
8. C. E. et al. SPKI http://www.clark.net/pub/cme/html/spki.html. Internet Draft, 1998. Expires: 16 September 1998.
9. P. Kocher. On certificate revocation and validation. In R. Hirschfeld, editor, Financial Cryptography, volume 1465 of Lecture Notes in Computer Science, pages 172-177. Springer Verlag, Berlin, 1998.
10. C. Boyd. Security architectures using formal methods. IEEE Journal on Selected Areas in Communications, 11(5):694-701, 1993.
11. R. Rivest. Can we eliminate certificate revocation lists? In R. Hirschfeld, editor, Proceedings of Financial Cryptography 1998, pages 178-183, 1998.
12. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, 1990.
13. M. Naor and K. Nissim. Certificate revocation and certificate update. Proceedings of Usenix '98, pages 217-228, January 1998.
14. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In Proceedings of the Symposium on Security and Privacy, pages 164-173. IEEE Computer Society Press, 1996.
15. C. Ellison. Establishing identity without certification authorities. In USENIX Association, editor, 6th USENIX Security Symposium, July 22-25, 1996. San Jose, CA, pages 67-76. USENIX, July 1996.
16. B. Fox and B. LaMaccia. Certificate revocation: Mechanisms and meaning. In R. Hirschfeld, editor, Financial Cryptography, volume 1465 of Lecture Notes in Computer Science, pages 158-164. Springer Verlag, Berlin, 1998.
17. T. Beth, M. Borcherding, and B. Klein. Valuation of trust in open systems. In D. Gollmann, editor, Computer Security - Esorics '94, volume 875 of Lecture Notes in Computer Science, pages 3-18. Springer Verlag, Berlin, 1994.
18. J. Glasgow, G. MacEwen, and P. Panagaden. A logic for reasoning about security. ACM transactions on Computer Systems, 10(3):226-264, 1992.
19. D. Chadwick and A. Young. Merging and extending the PGP and PEM trust models. IEEE Network Magazine, May 1997.
20. U. Maurer and P. Schmid. A calculus for secure channel establishment in open networks. In D. Gollmann, editor, Proc. 1994 European Symposium on Research in Computer Security (ESORICS` 94), volume 875, pages 175-192. Lecture Notes in Computer Science, 1994.
21. T. M. C. Group. MCG - internet open group on certification and security, http://mcg.org.br/, 1998.
22. M. Reiter and S. Stubblebine. Path independence for authentication in large-scale systems. Proceedings of the 4th ACM Conference on Computer and Communications Security, pages 57-66, 1997.
23. 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):706-734, September 1993.
24. B. Lampson, M. Abadi, M. Burrows, and E. Wobber. Authentication in distributed systems: Theory and practice. ACM Transactions on Computer Systems, 10(4):265-310, November 1992.
25. P. Syverson and C. Meadows. A logical language for specifying cryptographic protocols requirements. In IEEE Conferences on Research in Security and Privacy, pages 165-180, 1993.
26. E. Campbell, R. Safavi-Naini, and P. Pleasants. Partial belief and probabilistic reasoning in the analysis of secure protocols. In The computer Security Foundations Workshop V, pages 84-91, 1992.
27. S. Stubblebine and R. Wright. An authentication logic supporting synchronization, revocation, and recency. In SIGSAC: 3rd ACM Conference on Computer and Communications Security. ACM SIGSAC, 1996.
28. S. Consortium. Basic services, architecture and design, available at http://www.semper.org/info/index.html. Technical report, SEMPER, 1996.
29. R. Rivest and B. Lampson. SDSI - A simple distributed security infrastructure, http://theory.lcs.mit.edu/~cis/sdsi.html. Presented at CRYPTO'96 Rumpsession, April 1996.
30. R. Yaholem, B. Klein, and T. Beth. Trust relationships in secure systems - a distributed authentication perspective. In Proceedings of the IEEE Conference on Research in Security and Privacy, pages 150-164, 1993.
31. M. Blaze, J. Feigenbaum, and M. Strauss. Compliance checking in the policymaker trust management system. In R. Hirschfeld, editor, Financial Cryptography, volume 1465 of Lecture Notes in Computer Science, pages 254-274. Springer Verlag, Berlin, 1998.
32. I. I. S. 9594-8. Information technology, open systems interconnection, the directory, part 8: Authentication framework, 1990.