Logical foundations for reasoning about trust in secure digital communication

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

Volumn 2256, Issue , 2001, Pages 333-344

  Liu, Chuchang ^a  

^a DEFENCE SCIENCE AND TECHNOLOGY ORGANISATION   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; DIGITAL COMMUNICATION SYSTEMS; FORMAL LOGIC;

AGENT BELIEFS; DIGITAL COMMUNICATIONS; FIRST ORDER LOGIC; LOGICAL FOUNDATIONS; MODAL LOGIC; MODAL OPERATORS; TRUST THEORIES;

COMPUTER CIRCUITS;

EID: 84944881195     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45656-2_29     Document Type: Conference Paper

References (11)

1. M. Burrows, M. Abadi, and R. M. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18–36, 1990.
2. A. Dekker. C3PO: A tool for automatic sound cryptographic protocol analysis. In Proceedings of the 13th IEEE Computer Security Foundations Workshop, pages 77–87, Cambridge, UK, 3-5 July 2000. IEEE Computer Society.
3. E. Gerck. Overview of Certificate Systems: X.509, CA, PGP and SKIP. Available from http://mcg.org.br/.
4. L. Gong, R. Needham, and R. Yahalom. Reasoning about belief in cryptographic protocols. In Proceedings of the IEEE Society Symposium on Research in Security and Privacy, pages 234–248, Los Alamitos, California, 1990. IEEE Computer Society Press.
5. 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.
6. S. Kripke. Semantical considerations of modal logic. Acta Philosophica Fennica, 16:83–94, 1963.
7. C. Liu, M. A. Ozols, and T. Cant. An axiomatic basis for reasoning about trust in PKIs. In Proceedings of the 6th Australasian Conference on Information Security and Privacy (ACISP 2001), volume 2119 of Lecture Notes in Computer Science, pages 274–291. Springer, 2001.
8. L. C. Paulson. ML for Working Programmer. Cambridge University Press, 1991.
9. P. V. Rangan. An axiomatic basis of trust in distributed systems. In Proceedings of the 1988 IEEE Computer Society Symposium on Research in Security and Privacy, pages 204–211, 1988.
10. P. F. Syverson and P. C. van Oorschot. On unifying some cryptographic protocol logics. In Proceedings of the IEEE Society Symposium on Research in Security and Privacy, pages 234–248, Oakland, CAUSA, 1994. IEEE Computer Society Press.
11. 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.