Modelling cryptographic protocols in a theory of action

Commonsense 2009 - Proceedings of the 9th International Symposium on Logical Formalizations of Commonsense Reasoning

Volumn , Issue , 2009, Pages 41-46

  Delgrande, James P ^a   Grote, Torsten ^a   Hunter, Aaron ^a  

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

CRYPTOGRAPHIC PROTOCOLS; DIFFERENT PROTOCOLS; SEQUENCE OF ACTIONS; SITUATION CALCULUS;

CALCULATIONS;

CRYPTOGRAPHY;

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

References (13)

1. Aiello, L., and Massacci, F. 2001. Verifying security protocols as planning in logic programming. ACM Transactions on Computational Logic 2(4):542-580.
2. Armando, A.; Compagna, L.; and Lierler, Y. 2004. Automatic compilation of protocol insecurity problems into logic programming. In Alferes, J., and Leite, J., eds., JELIA'04, volume 3239 of LNAI, 617-627.
3. Brackin, S.; Meadows, C.; and Millen, J. 1999. CAPSL interface for the NRL protocol analyzer. In Proceedings of ASSET 99. IEEE Computer Society Press.
4. Burrows, M.; Abadi, M.; and Needham, R. 1990. A logic of authentication. ACM TOCS 8(1):18-36.
5. Dolev, D., and Yao, A. 1983. On the security of public key protocols. IEEE Transactions on Information Theory 2(29):198-208.
6. Fagin, R.; Halpern, J. Y.; Moses, Y.; and Vardi, M. Y. 1995. Reasoning about Knowledge. Cambridge, MA: The MIT Press.
7. Gelfond, M., and Lifschitz, V. 1991. Classical negation in logic programs and deductive databases. New Generation Computing 9:365-385.
8. Halpern, J., and Pucella, R. 2003. On the relationship between strand spaces and multi-agent systems. CoRR cs.CR/0306107.
9. Herńandez-Orallo, J., and Pinto, J. 1997. Formal modelling of cryptographic protocols in situation calculus. (Published in Spanish as: Especificacíon formal de protocolos criptogr ́aficos en Ćalculo de Situaciones, Novatica, 143, pp. 57-63, 2000).
10. Levesque, H.; Reiter, R.; Lin, F.; and Scherl, R. 1997. Golog: A logic programming language for dynamic domains. Journal of Logic Programming 31.
11. Levesque, H.; Pirri, F.; and Reiter, R. 1998. Foundations for the situation calculus. Link̈oping Electronic Articles in Computer and Information Science 3(18). Reiter, R. 2001. Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. Cambridge, MA: The MIT Press.
12. Scherl, R., and Levesque, H. 2003. Knowledge, action, and the frame problem. Artificial Intelligence 144(1-2):1-39.
13. Thayer, F.; Herzog, J.; and Guttman, J. 1999. Strand spaces: Proving security protocols correct. JCS 7(1). Wang, S., and Zhang, Y. 2008. A logic programming based framework for security protocol verification. In Proc. ISMIS 2008, volume 4994 of LNAI, 638-643. Springer.