Verifying Security Protocols using Dynamic Strategies

Abstract

Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to their large or infinite state spaces. In this paper, we propose a novel framework that can automatically verifying security protocols without any human intervention. Experimental results show that SmartVerif automatically verifies security protocols that cannot be automatically verified by existing approaches. The case study also validates the effectiveness of our dynamic strategy.

arXiv commentarXiv admin note: text overlap with arXiv:1403.1142, arXiv:1703.00426 by other authors

References in corpus (6)

• End-To-End Memory Networks
• A Formal Analysis of 5G Authentication
• DeepMath - Deep Sequence Models for Premise Selection
• A Comprehensive Formal Security Analysis of OAuth 2.0
• HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving
• Automated proof synthesis for propositional logic with deep neural networks