J Guo, C Gu, X Chen, X Zhang, K Tian, J Li - Computer Networks, 2024 - Elsevier
Owing to the rapid development of information security technology, the security analysis of
encryption protocols has received widespread attention. In this paper, we propose a stateful …