Modelling a public-key infrastructure

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

Volumn 1146, Issue , 1996, Pages 325-350

  Maurer, Ueli ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

Cryptography; Distributed system security; Key management; Probabilistic logic; Public key certification; Recommendations; Trust

Indexed keywords

CRYPTOGRAPHY; PROBABILISTIC LOGICS; PUBLIC KEY CRYPTOGRAPHY; SECURITY SYSTEMS;

DISTRIBUTED SYSTEM SECURITY; KEY MANAGEMENT; PUBLIC KEYS; RECOMMENDATIONS; TRUST;

NETWORK SECURITY;

EID: 84947294004     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61770-1_45     Document Type: Conference Paper

References (29)

1. T. Beth, M. Borcherding and B. Klein, Valuation of trust in open systems, Computer Security - ESORICS ‘94, D. Gollmann (Ed.), Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1994, vol. 875, pp. 3-18.
2. A. Birell, B. Lampson, R. Needham and M. Schroeder, A global authentication service without global trust, Proc. IEEE Symposium on Research in Security and Privacy, 1986, pp. 223-230.
3. C. Boyd, Security architectures using formal methods, IEEE Journal on Selected Areas in Communications, vol. 11, no. 5, 1993, pp. 694-701.
4. M. Burrows, M. Abadi and R. Needham, A logic of authentication, ACM Transactions on Computer Systems, vol. 8, no. 1, 1990, pp. 18-36.
5. E.A. Campbell, R. Safavi-Naini and P. A. Pleasants, Partial belief and probabilistic reasoning in the analysis of secure protocols, Proc. The Computer Security Foundations Workshop V, IEEE Computer Society Press, 1992, pp. 84-91.
6. S. Chokhani, Towards a national public-key infrastructure, IEEE Communications Magazine, vol. 32, no. 9, 1994, pp. 70-74.
7. W. Diffie and M. E. Hellman, New directions in cryptography, IEEE Transactions on Information Theory, vol. 22, no. 6, 1976, pp. 644-654.
8. R. Fagin and J.Y. Halpern, Uncertainty, belief, and probability, Proc. of the Eleventh International Joint Conference on Artificial Intelligence, August 1989, vol. 2, pp. 1161-1167.
9. W. Feller, An Introduction to Probability Theory and its Applications, third ed., vol. 1, New York, NY: Wiley, 1968.
10. J. Glasgow, G. MacEwen and P. Panangaden, A logic for reasoning about security, ACM Transactions on Computer Systems, vol. 10, no. 3, 1992, pp. 226-264.
11. V.D. Gligor, S.-W. Luan and J.N. Pato, On inter-realm authentication in large distributed systems, Proc. IEEE Conference on security and privacy, 1992, pp. 2-17.
12. T. HalIperin, Probability logic, Notre Dame Journal of Formal Logic, vol. 25, no. 3, July 1984, pp. 198-212.
13. B. Lampson, M. Abadi, M. Burrows and E. Wobber, Authentication in distributed systems: theory and practice, Proc. 13th ACM Symp. on Operating Systems Principles, 1991, pp. 165-182.
14. U.M. Maurer and P.E. Schmid, A calculus for secure channel establishment in open networks Proc. 1994 European Symposium on Research in Computer Security (ESORICS’ 94), D. Gollmaun (Ed.), Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1994, vol. 875, pp. 175-192.
15. R. Molva, G. Tsudik, E. Van Herreweghen and S. Zatti, KryptoKnight Authentication and Key Distribution System, Proc. t992 European Symposium on Research in Computer Security (ESORICS 92), Y. Deswarte, G. Eizenberg, J.-J. Quisquater (Eds.), Lecture Notes in Computer Science, Berlin: Springer-Verlag, 1992, vol. 648, pp. 155-174.
16. A. Nerode and R. A. Shore, Logic for Applications, Springer Verlag, 1993.
17. N.J. Nilsson, Probabilistic logic, Artificial Intelligence, vol. 28, no. 1, 1986, pp. 71-86.
18. C.H. Papadimitriou, V. Rangan, M. Sideri, “Designing Secure Communication Protocols from Trust Specifications”, Algorithmica, 1994, pp. 485-499.
19. P.V. Rangan, An axiomatic theory of trust in secure communication protocols, Computers & Security, vol. 11, 1992, pp. 163-172.
20. R.L. Rivest, A. Shamir, and L. Adleman, A method for obtaining digital signatures and public-key cryptosystems, Communications of the ACM, vol. 21, no. 2, 1978, pp. 120-126.
21. B. Schneier, Applied Cryptography, 2nd edition, John Wiley & Sons, Inc., New York, 1996.
22. J.G. Steiner, B.C. Neuman and J.I. Schiller, Kerberos: An authentication service for open network systems, Proceedings of Winter USENIX 1988, Dallas, Texas.
23. W. Stallings, Network and Internetwork Security, Englewood Cliffs, N J: Prentice Hall, 1995.
24. P. Syverson and C. Meadows, A logical language for specifying cryptographic protocols requirements, Proc. IEEE Conf. on Research in Security and Privacy, 1993, pp. 165-180.
25. J.J. Tardo and K. Alagappan, SPX: Global authentication using public key certificates, Proc. IEEE Conf. on Research in Security and Privacy, 1991, pp. 232-244.
26. P. Yahalom, B. Klein and T. Beth, Trust relationships in secure systems - a distributed authentication perspective, Proc. IEEE Conf. on Research in Security and Privacy, 1993, pp. 150-164.
27. P. Zimmermann, PGP User’s Guide, vol. I and II, Version 2.6, May 22, 1994.
28. ISO/IEC International Standard 9594-8, Information technology - open systems interconnection - the directory, Part 8: Authentication framework, 1990.
29. Privacy enhanced mail (PEM), Internet Request for Comments (RFC) 1421-1424.