A new model for public-key authentication

Informatik aktuell

Volumn , Issue , 2007, Pages 213-224

  Kohlas, Reto ^a   Jonczy, Jacek ^a   Haenni, Rolf ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; PUBLIC KEY CRYPTOGRAPHY;

DEGREE OF CONFIDENCE; PUBLIC KEY AUTHENTICATION; PUBLIC KEY CERTIFICATES; PUBLIC KEY INFRASTRUCTURE; PUBLIC KEYS; REASONER; TRUST ASSUMPTIONS; WEB OF TRUST;

AUTHENTICATION;

EID: 84879862445     PISSN: 1431472X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-69962-0_18     Document Type: Conference Paper

References (18)

1. Michael Burrows, Martin Abadi, and Roger Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, February 1990.
2. Peter Pin-Shan S. Chen. The entity-relationship model: Toward a unified view of data. ACM Transactions on Database Systems, 1(1):9-36, 1976.
3. W. Diffie and M. E. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, IT-22(6):644-654, 1976.
4. Li Gong, Roger Needham, and Raphael Yahalom. Reasoning About Belief in Cryptographic Protocols. In Deborah Cooper and Teresa Lunt, editors, Proceedings 1990 IEEE Symposium on Research in Security and Privacy, pages 234-248. IEEE Computer Society, 1990.
5. R. Haenni. Using probabilistic argumentation for key validation in public-key cryptography. International Journal of Approximate Reasoning, 38(3):355-376, 2005.
6. J. Jonczy and R. Haenni. Credential networks: a general model for distributed trust and authenticity management. In A. Ghorbani and S. Marsh, editors, PST'05: 3rd Annual Conference on Privacy, Security and Trust, pages 101-112, St. Andrews, Canada, 2005.
7. A. Jøsang. An algebra for assessing trust in certification chains. In NDSS'99: 6th Annual Symposium on Network and Distributed System Security, San Diego, USA, 1999.
8. R. Kohlas and U. Maurer. Reasoning about public-key certification: On bindings between entities and public keys. In M. K. Franklin, editor, Financial Cryptography'99, Third International Conference, LNCS 1648, pages 86-103, Anguilla, British West Indies, 1999. Springer.
9. R. Kohlas and U. Maurer. Confidence valuation in a public-key infrastructure based on uncertain evidence. In H. Imai and Y. Zheng, editors, PKC'2000, Third International Workshop on Practice and Theory in Public Key Cryptography, LNCS 1751, pages 93-112, Melbourne, Australia, 2000. Springer.
10. U. Maurer. Modelling a public-key infrastructure. In E. Bertino, H. Kurth, G. Martella, and E. Montolivo, editors, ESORICS, European Symposium on Research in Computer Security, LNCS 1146, pages 324-350. Springer, 1996.
11. K. Meinke and J. V. Tucker, editors. Many-sorted logic and its applications. John Wiley & Sons, Inc., New York, NY, USA, 1993.
12. A. J. Menezes, P. C. van Oorschot, and S. A. Vanstone. Handbook of Applied Cryptography. CRC Press, Boca Raton, USA, 1996.
13. R. L. Rivest, A. Shamir, and L. M. Adelman. A method for obtaining digital signatures and public-key cryptosystems. Technical Report TM-82, MIT, Cambridge, USA, 1977.
14. W. Stallings. Protect Your Privacy, a Guide for PGP Users. Prentice Hall, 1995.
15. M. Wiithrich. GnuPG and probabilistic key validation. Bachelor thesis, IAM, University of Berne, Switzerland, 2006.
16. J. S. II. Yang, Y. H. Chin, and C. G. Chung. Many-sorted first-order logic database language. Comput. J., 35(2):129-137, 1992.
17. Calogero G. Zarba. Many-sorted logic., http://theory.stanford.edu/~zarba/ snow/-ch01.pdf.
18. P. R. Zimmermann. The Official PGP User's Guide. MIT Press, 1994.