基于主体关联度的安全协议形式化分析方法

余磊, 魏仕民, 江明明

Formal Analysis Method of Security Protocol Based on Correlation Degree of Principals

Lei YU, Shimin WEI, Mingming JIANG

信息网络安全 . 2018, (6): 45 -51 . DOI: 10.3969/j.issn.1671-1122.2018.06.006