导航切换
Netinfo Security
Home
About Journal
Adviser
Editorial Board
Guide to Authors
Subscribe
Ethics Standard
Contacts us
中文
Formal Analysis Method of Security Protocol Based on Correlation Degree of Principals
Lei YU, Shimin WEI, Mingming JIANG
Netinfo Security . 2018, (
6
): 45 -51 . DOI: 10.3969/j.issn.1671-1122.2018.06.006