电子支付安全协议的Petri网模型及分析

• 作者: 戴宗坤 林松
• 来源期刊: 大连理工大学学报
• 学科: 工学
• 关键词: 安全协议 Petri网 可达树 电子支付
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 118-121
• 页数: 4页
• 分类号: TP309
• 字数: 2856字
• 语种: 中文
• DOI: 10.3321/j.issn:1000-8608.2005.z1.030

摘要

通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	戴宗坤	四川大学信息安全研究所	30	460	11.0	21.0
2	林松	四川大学信息安全研究所	11	129	7.0	11.0