Verifying Security Protocols using Dynamic Strategies
Cryptography and Security
2019-08-27 v7 Logic in Computer Science
Software Engineering
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.
Cite
@article{arxiv.1807.00669,
title = {Verifying Security Protocols using Dynamic Strategies},
author = {Yan Xiong and Cheng Su and Wenchao Huang and Fuyou Miao and Wansen Wang and Hengyi Ouyang},
journal= {arXiv preprint arXiv:1807.00669},
year = {2019}
}
Comments
arXiv admin note: text overlap with arXiv:1403.1142, arXiv:1703.00426 by other authors