1
Research on computer-aided formal modeling for security protocol code
基于安全协议代码的形式化辅助建模研究
No. 4, 2023 : 1189-1193,1202
doi:10.19734/j.issn.1001-3695.2022.08.0446