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