10.3969/j.issn.1000-436x.2014.11.013
基于SAT的安全协议惰性形式化分析方法
安全协议、形式化分析、布尔可满足性、惰性分析、类型缺陷攻击
35
TN915.0
河南省科技创新杰出青年基金资助项目134100510002;河南省基础与前沿技术研究基金资助项目142300410002;数学工程与先进计算国家重点实验室开放基金资助项目Henan Provincial Science and Technology Innovation Fund for Outstanding Young134100510002;Foundation and Research in Cutting-edge Technologies in the Project of Henan Province142300410002;Mathematical Engineering and Advanced Calculation State Key Laboratory Open Foundation
2015-01-29(万方平台首次上网日期,不代表论文的发表时间)
共9页
117-125