颜色Petri网的电子商务协议攻击分析方法

摘要：

针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击.给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果.对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性.

关键词：电子商务协议、形式化分析、颜色Petri网、重放攻击、颜色Petri网工具

所属期刊栏目：35

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金项目61272466、61300193;河北省自然科学基金青年科学基金项目G2011203195;秦皇岛自筹经费基金项目2012021A058

在线出版日期：2014-04-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：814-818,840