Belief change and cryptographic protocol verification

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 427-433

  Hunter, Aaron ^a,b   Delgrande, James P ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

^b MacDonald Dettwiler and Associates Ltd   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; HOSTILE ENVIRONMENTS; MONOTONIE LOGIC; STRUCTURED SEQUENCES;

LOGIC PROGRAMMING; PUBLIC KEY CRYPTOGRAPHY; VERIFICATION;

NETWORK PROTOCOLS;

EID: 36348951490     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Adadi, M., and Tuttle, M. 1991. A semantics for a logic of authentication. In Proceedings of the 10th ACM Symposium on Principles of Distributed Computing, 201-216. ACM Press.
2. Agray, N.; van der Hoek, W.; and de Vink, E. 2002. On BAN logics for industrial security protocols. In Dunin-Keplicz, B., and Nawarecki, E., eds., Proceedings of CEEMAS 2001, 29-36.
3. Alchourrón, C.; Gärdenfors, P.; and Makinson, D. 1985. On the logic of theory change: Partial meet functions for contraction and revision. Journal of Symbolic Logic 50(2):510-530.
4. Bleeker, A., and Meertens, L. 1997. A semantics for BAN logic. In Proceedings of DIMACS Workshop on Design and Formal Verification of Security Protocols.
5. Burrows, M.; Abadi, M.; and Needham, R. 1989. A logic of authentication. Technical Report 39, Digital Systems Research Center.
6. Burrows, M.; Abadi, M.; and Needham, R. 1990. A logic of authentication. ACM Transactions on Computer Systems 8(1):18-36.
7. Darwiche, A., and Pearl, J. 1997. On the logic of iterated belief revision. Artificial Intelligence 89(1-2):1-29.
8. Gelfond, M., and Lifschitz, V. 1998. Action languages. Linkoping Electronic Articles in Computer and Information Science 3(16):1-16.
9. Guttman, J., and Thayer, J. 2000. Authentication tests. In Proceedings 2000 IEEE Symposium on Security and Privacy.
10. Friedman, N., and Halpern, J. 1999. Belief Revision: A Critique. In Journal of Logic, Language and Information. 8(4):401-420.
11. Hunter, A., and Delgrande, J. 2005. Iterated belief change: A transition system approach. In Proceedings of IJCA105, 460-465.
12. Hunter, A., and Delgrande, J. 2007. An Action Description Language for Iterated Belief Change. In Proceedings of IJCAI07, 2498-2503.
13. Lang, J. 2006. About time, revision, and update. In Proceedings of NMR2006.
14. Syverson, P., and Cervesato, I. 2001. The logic of authentication protocols. In Focardi, R., and Gorrieri, R., eds., Foundations of Security Analysis and Design, volume 2171 of Lecture Notes in Computer Science. Springer-Verlag. 63-136.
15. Syverson, P., and van Oorschot, P. 1996. A unified cryptographic protocol logic. Technical Report 5540-227, Naval Research Lab.