10.3969/j.issn.1000-7024.2014.03.015
颜色Petri网的电子商务协议攻击分析方法
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击.给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果.对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性.
电子商务协议、形式化分析、颜色Petri网、重放攻击、颜色Petri网工具
35
TP391(计算技术、计算机技术)
国家自然科学基金项目61272466、61300193;河北省自然科学基金青年科学基金项目G2011203195;秦皇岛自筹经费基金项目2012021A058
2014-04-17(万方平台首次上网日期,不代表论文的发表时间)
共6页
814-818,840