2018/06/27 by Yan Xiong, Cheng Su, Xiong, Yan +9
Computer Science · #Advanced Authentication Protocols Security #Cryptographic Implementations and Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE) #User Authentication and Security Systems
paper · pdf · doi:10.48550/arxiv.1807.00669
openalex publication_date 2018/06/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.