形式化工具Scyther优化与实例分析
Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 2096-1057|2|3|272-279
ISSN: 2096-1057
Source: 信息安全研究, Vol.2, Iss.3, 2016-01, pp. : 272-279
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract