导航切换
Netinfo Security
Home
About Journal
Adviser
Editorial Board
Guide to Authors
Subscribe
Ethics Standard
Contacts us
中文
The Formal Analysis of SIP Protocol Based on the Recursive Authentication Test
YAO Mengmeng, WANG Yu, HONG Yuping
Netinfo Security . 2024, (
10
): 1586 -1594 . DOI: 10.3969/j.issn.1671-1122.2024.10.013