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

来源 :计算机工程与设计 | 被引量 : 0次 | 上传用户:Loope
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。
其他文献
习近平总书记要求“党政主要负责同志要亲力亲为抓改革,扑下身子抓落实”。十八届六中全会提出了全面从严治党的战略布局,落实全面从严治党,离不开基层党组织的建设;基层党组织的
目的:探讨半胱氨酸天冬氨酸蛋白酶-3(Caspase-3)和半胱氨酸天冬氨酸蛋白酶-8(Caspase-8)在各阶段婴幼儿血管瘤组织中的表达及其与婴幼儿血管瘤消退的关系。方法:采用Westernblot和R
根据大秦铁路75kg/m钢轨12号道岔外锁闭装置的应用经验和出现的问题,探讨外锁闭装置的设计改进和技术实施,并对安装装置中相关的表示杆连接结构和转辙机锁闭杆、表示杆进行配套
中国水泥协会常务副会长曾学敏对2006年水泥市场展望如下:
针对交直流混联电网中直流换相失败的问题,对影响动态无功补偿装置抑制直流换相失败效果的因素进行了深入的研究和分析。首先对比分析了同步调相机、静止无功补偿器(SVC)、静
当前阶段,提高思想政治教育的实际效果是一项重要课题。研究实践环节在思想政治教育中的重要性,推动思想政治教育的实践化,对于增强思想政治教育的实效性具有十分重要的意义
某女,9岁,左面颊部瘘长期流“水”9年。患儿自出生后其家长即发现患儿左面颊部有一“小眼”,喂奶及进食时不停向外流“水”逐渐加重,液体流量逐年增多,时常将衣服浸湿,不得以颈部长
以慈善公益为核心的志愿服务始终是贫困治理中的一股重要社会力量。伴随着我国经济社会和精神文明的发展,志愿服务也得到迅猛发展,并逐渐从贫困治理领域的边缘地带向中心地带
十九大报告作出的一个重大判断就是中国特色社会主义进入新时代,与此相应我国社会主要矛盾也从“人民日益增长的物质文化需要同落后的社会生产之间的矛盾”转化为“人民日益
目的:分析乳腺增生性病变的临床特点及探讨手术治疗。方法:以2009年1月~2011年1月期间本院收治的119例乳腺局限性腺体增厚患者为研究对象,回顾性分析乳腺增生的病理类型,观察