A logic programming based framework for security protocol verification

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

Volumn 4994 LNAI, Issue , 2008, Pages 638-643

  Wang, Shujing ^a   Zhang, Yan ^a  

^a UNIVERSITY OF WESTERN SYDNEY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK PROTOCOLS; NETWORK SECURITY; PROBLEM SOLVING; VERIFICATION;

SECURITY PROOF; SECURITY PROTOCOL ANALYSIS;

LOGIC PROGRAMMING;

EID: 44649158296     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68123-6_70     Document Type: Conference Paper

References (13)

1. Abdalla, M., Chevassut, O., Fouque, P., Pointcheval, D.: A Simple Threshold Authenticated key Exchange from. Short Secrets. In: Advances in Cryptology - Asiacrypt 2005, pp. 566-584. Springer, Heidelberg (2005)
2. Abadi, M., Rogaway, P.: Reconciling Two Views of Cryptography (The Computaiotnal Soundness of Formal Encryption). Journal of Cryptology 15(2), 103-127 (2002)
3. Aiello, L.C., Massacci, F: Verifying Security Protocols as Planning in Logic Programming. ACM Transactions on Computational Logic 2(4), 542-580 (2001)
4. Backes, M., Jacobi, C.: Cryptographically Sound and Machine-Assisted Verification of Security Protocols. In: Alt, H., Habib, M. (eds.) STACS 2003. LNCS, vol. 2607, pp. 310-329. Springer, Heidelberg (2003)
5. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge
6. Boyd, C., González Nieto, J.M.: Round-optimal Contributory Conference Key Agreement. In: Desmedt, Y.G. (ed.) PKC 2003. LNCS, vol. 2567, pp. 161-174. Springer, Heidelberg (2002)
7. Bellare, M., Pointcheval, D., Rogaway, P.: Authenticated key exchange secure against dictionary attacks. In: Preneel, B. (ed.) EUROCRYPT 2000. LNCS, vol. 1807, pp. 139-155. Springer, Heidelberg (2000)
8. Choo, K.R.: Refuting Security Proofs for Tipartite Key Exchange with Model Checker in Planning Problem Setting. In: The 19th IEEE Computer Security Foundations Workshop CSFW 2006, pp. 297-308 (2006)
9. Jeong, I.R., Katz, J., Lee, D.H.: One-Round Protocols for Two-Party Authenticated Key Exchange. In: Jakobsson, M., Yung, M., Zhou, J. (eds.) ACNS 2004. LNCS, vol. 3089, pp. 220-232. Springer, Heidelberg (2004)
10. Lowe, G.: Some New Attacks upon Security Protocols. In: Proceedings of the 9th IEEE Computer Security Foundatons Workshop (CSFW 1996), pp. 162-169. JEEE Computer Society Press, Los Alamitos (1996)
11. Niemela, I., Simons, P., Syrjanen, T.: Smodels: A system for answer set programming. In: Proceedings of the 8th International Workshop on Non-monotonic Reasoning (2000)
12. Paulson, L.C.: The Inductive Approach to Verifying Cryptographic Protocols. Journal of Computer Security 6, 85-128 (1998)
13. Ryan, P., Schneider, S.: An Attack on a Recursive Authentication Protocol: A Cautionary Tale. Information Processing Letters 65(15), 7-16 (1998)