信息网络安全
基于递归认证测试的SIP协议形式化分析
姚萌萌, 王宇, 洪瑜平
The Formal Analysis of SIP Protocol Based on the Recursive Authentication Test
YAO Mengmeng, WANG Yu, HONG Yuping
信息网络安全 . 2024, (10): 1586 -1594 .  DOI: 10.3969/j.issn.1671-1122.2024.10.013