Open AccessResearch on Security Protocol Analysis Tool SmartVerif
Author(s) -
Siqi Lu,
Qingdi Han,
Xuyang Miao,
Yubo Liu
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/2132/1/012022
Subject(s) - computer science , protocol (science) , computer security , randomness , cryptographic protocol , key (lock) , security analysis , security service , cryptography , information security , mathematics , medicine , statistics , alternative medicine , pathology
Security protocols have been designed to protect the security of the network. However, many security protocols cannot guarantee absolute security in real applications. Therefore, security tests of the network protocol become particularly important. In this paper, firstly, we introduce SmartVerif, which is the first formal analysis tool to automatically verify the security of protocols through dynamic strategies. And then, we use SmartVerif to verify the pseudo-randomness of the encapsulated key of the Two-Pass AKE protocol, which was proposed by Liu’s in ASIACRYPT in 2020. Finally, we summary our work and show some limitations of SmartVerif. At the same time, we also point out the direction for future improvement of SmartVerif.