卢贝
- 作品数:3 被引量:2H指数:1
- 供职机构:燕山大学信息科学与工程学院更多>>
- 发文基金:河北省自然科学基金河北省重大技术创新项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 颜色Petri网的电子商务协议形式化分析方法研究
- 随着Internet的迅猛发展,电子商务已经深入到了社会的各个角落。如何确定电子商务交易的安全可靠,成为了一门重要的研究课题。电子商务协议是一种保证电子商务交易正常展开的协议,在满足安全协议的性质的同时,还要保证满足可追...
- 卢贝
- 关键词:电子商务协议形式化分析颜色PETRI网
- 文献传递
- 一种颜色Petri网的电子商务协议分析方法被引量:1
- 2013年
- 针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.
- 王宝文卢贝司亚利刘文远
- 关键词:形式化分析方法电子商务协议颜色PETRI网CPNTOOLS
- 颜色Petri网的电子商务协议攻击分析方法被引量:1
- 2014年
- 针对现有颜色Petri网方法较少分析电子商务协议存在重放攻击的问题,提出一种基于颜色Petri网的电子商务协议攻击分析方法,用于分析协议中可能存在的攻击。给出带有攻击者的具体建模方法和分析过程,提出从不可否认证据中提取敏感信息作为不安全状态的定义方法,并且采用逆向状态分析和CPN Tools仿真工具两种方法来分析颜色Petri网模型,得出协议的攻击结果。对CMP1协议进行实例分析,理论分析和实验结果表明了该方法的正确性和有效性。
- 司亚利刘文远卢贝
- 关键词:电子商务协议形式化分析颜色PETRI网重放攻击