An axiomatic basis for reasoning about trust in pkis

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

Volumn 2119, Issue , 2001, Pages 274-291

  Liu, Chuchang ^a   Ozols, Maris ^a   Cant, Tony ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

CA (Certificate Authority); Certificate; Certificate verification; Information security; PKI (Public Key Infrastructure); Trust; Trust theory

Indexed keywords

COMPUTER CIRCUITS; DIGITAL COMMUNICATION SYSTEMS; DISTRIBUTED COMPUTER SYSTEMS; FORMAL LOGIC; RECONFIGURABLE HARDWARE; SECURITY OF DATA; TELECOMMUNICATION NETWORKS;

CERTIFICATE; CERTIFICATE AUTHORITY; PUBLIC KEY INFRASTRUCTURE; TRUST; TRUST THEORIES;

PUBLIC KEY CRYPTOGRAPHY;

EID: 84958779525     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47719-5_23     Document Type: Conference Paper

References (14)

1. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized trust management. In Proceedings of the 1993 IEEE Computer Society Symposium on research in Security and Privacy, pages 164–173, 1996.
2. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. In Proceedings of the Royal Society of London 426, pages 233–271, 1989.
3. A. Herzberg, Y. Mass, and J. Mihaeli. Access control meets public key infrastructure, or: Assigning roles to strangers. In Proceedings of the 2000 IEEE Computer Society Symposium on research in Security and Privacy, pages 2–14, 2000.
4. R. Housley, W. Ford, W. Polk, and D. Solo. RCF 2459, Internet X. 509 Public Key Infrastructure-Part I: Certificate and CRL Profile. Internet Request for Comments 2459, January 1999.
5. A. Jøsang and S. J. Knapskog. A metric for trusted systems. In Proceedings of the 21st National Security Conference, NSA 1998.
6. A. Jøsang, I. G. Pedersen, and D. Povey. PKI seeks a trusting relationship. In Proceedings of the 5th Australasian Conference on Information Security and Privacy (ACISP 2000), volume 1841 of Lecture Notes in Computer Science, pages 191–205. Springer, 2000.
7. S. Kent. Privacy Enhancement for Internet Electronic Mail, Part II: Certificate-Based Key Management, Request for Comments 1422. Network Working Group, 1993.
8. R. Kohlas and U. Maurer. Confidence valuation in a public-key infrastructure based on uncertain evidence. In Proceedings of the 3rd International Workshop on Practice and Theory in Public Key Cryptosystems (PKC 2000), volume 1751 of Lecture Notes in Computer Science, pages 93–113. Springer, 2000.
9. N. Li, B. Grosof, and J. Feigenbaum. A practically implementable and tractable delegation logic. In Proceedings of the 2000 IEEE Computer Society Symposium on research in Security and Privacy, pages 27–42, 2000.
10. C. Liu, M. A. Ozols, M. Henderson, and T. Cant. A state-based model for ceritificate management systems. In Proceedings of the 3rd International Workshop on Practice and Theory in Public Key Cryptosystems (PKC 2000), volume 1751 of Lecture Notes in Computer Science, pages 75–92. Springer, 2000.
11. Ueli Maurer. Modeling a public-key infrastructure. In E. Bertino, H. Knurth, G. Martella, and E. Montolivo, editors, Computer Security–ESORICS’96 (LNCS 1146). Springer-Verlag, 1996.
12. M. A. Ozols, M. Henderson, C. Liu, and T. Cant. The PKI specification dilemma: A formal solution. In Proceedings of the 5th Australasian Conference on Information Security and Privacy (ACISP 2000), volume 1841 of Lecture Notes in Computer Science, pages 206–219. Springer, 2000.
13. L. C. Paulson. ML for Working Programmer. Cambridge University Press, 1991.
14. R. Yahalom, B. Klein, and Th. Beth. Trust relationships in security systems–A distributed authentication prespective. In Proceedings of the 1993 IEEE Computer Society Symposium on research in Security and Privacy, pages 151–164, 1993.