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