A general approach to the verification of cryptographic protocols using answer set programming

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

Volumn 5753 LNAI, Issue , 2009, Pages 355-367

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

^a SIMON FRASER UNIVERSITY   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

ANSWER SET; ANSWER SET PROGRAMMING; AUTOMATED PROCESS; CRYPTOGRAPHIC PROTOCOL VERIFICATION; CRYPTOGRAPHIC PROTOCOLS; EXECUTABLE PROGRAMS; EXTENDED LOGIC; GENERAL APPROACH; INTRUDER MODELS; LOGIC PROGRAMS; PROTOCOL SPECIFICATIONS; PROTOCOL VERIFICATION;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENCODING (SYMBOLS); LOGIC PROGRAMMING; MESSAGE PASSING; PROGRAM COMPILERS;

CRYPTOGRAPHY;

EID: 70349883942     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04238-6_30     Document Type: Conference Paper

References (16)

1. Aiello, L.C., Massacci, F.: Verifying security protocols as planning in logic programming. ACM Trans. Comput. Logic 2(4), 542-580 (2001)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security protocols verification in abductive logic programming: A case study. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol.3963, pp. 106-124. Springer, Heidelberg (2006) 5 The prototype is available for download from http://www.cs.sfu.ca/cl/software/ASP.SP/
3. Baral, C., Brewka, G., Schlipf, J. (eds.): LPNMR 2007. LNCS (LNAI), vol.4483. Springer, Heidelberg (2007)
4. Burrows, M., Abadi, M., Needham, R.: A logic of authentication. ACM Transactions on Computer Systems 8(1), 18-36 (1990)
5. Delgrande, J.P., Hunter, A., Grote, T.: Modelling cryptographic protocols in a theory of action. In: Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (2009)
6. Dolev, D., Yao, A.: On the security of public key protocols. IEEE Transactions on Information Theory 29(2), 198-208 (1983)
7. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
8. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol.5366, pp. 190-205. Springer, Heidelberg (2008)
9. Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: clasp: A conflict-driven answer set solver. In: Baral et al [3], pp. 260-265
10. Gebser, M., Schaub, T., Thiele, S.: Gringo: A new grounder for answer set programming. In: Baral et al [3], pp. 266-271
11. Gelfond, M.: Answer sets. In: Handbook of Knowledge Representation, pp. 285-316. Elsevier, Amsterdam (2007)
12. Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on AI 3 (1998)
13. Herńandez-Orallo, J., Pinto, J.: Formal modelling of cryptographic protocols in situation calculus (Published in Spanish as: Especificacíon formal de protocolos criptogŕaficos en Ćalculo de Situaciones, Novatica, 143, pp. 57-63, 2000) (1997)
14. Levesque, H.J., Pirri, F., Reiter, R.: Foundations for the situation calculus. LinkÖping Electronic Articles in Computer and Information Science 3(18) (1998)
15. Lowe, G.: Breaking and fixing the needham-schroeder public-key protocol using FDR. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol.1055, pp. 147-166. Springer, Heidelberg (1996) (Pubitemid 126050413)
16. Wang, S., Zhang, Y.: A logic programming based framework for security protocol verification. In: An, A., Matwin, S., Ras, Z.W., Slezak, D. (eds.) Foundations of Intelligent Systems. LNCS (LNAI), vol.4994, pp. 638-643. Springer, Heidelberg (2008)