一种颜色Petri网的电子商务协议分析方法

• 作者: 刘文远 卢贝 司亚利 王宝文
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 形式化分析方法 电子商务协议 颜色Petri网 CPN Tools KZG协议
• 年，卷（期）: 2013,（11）
• 所属期刊栏目: 计算机体系结构与算法研究
• 页码范围: 2594-2598
• 页数: 5页
• 分类号: TP391
• 字数: 6283字
• 语种: 中文

摘要

针对现有颜色Petri网方法未能分析时限性的缺点,提出一种基于颜色Petri网的电子商务协议分析方法,用于分析可追究性、公平性和时限性三个重要安全属性.针对时限性建立了表示主体是否成功接收消息的状态颜色集和主体自定义的时间颜色集,并充分考虑时限性对公平性的影响,更加有效地分析公平性.文中以KZG协议为例,建立了KZG的分层颜色Petri网模型,利用CPN Tools工具对该模型仿真运行,并通过状态空间和查询函数分析了协议的性质,证明了本方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘文远	燕山大学信息科学与工程学院	154	739	14.0	19.0
2	王宝文	燕山大学信息科学与工程学院	54	237	8.0	12.0
3	司亚利	燕山大学里仁学院	22	84	5.0	8.0
4	卢贝	燕山大学信息科学与工程学院	2	3	1.0	1.0