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

摘要：

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

关键词： 安全协议 Petri网 可达树分析 电子支付

作者: 林松 戴宗坤

作者单位: 四川大学,信息安全研究所,四川,成都,610064

会议类型: 国内会议

会议名称: 中国教育和科研计算机网CERNET第十二届学术年会

会议地点: 辽宁大连

会议语种:中文

页码: 118-121

在线出版日期: 2005-11-01（万方平台首次上网日期，不代表论文的发表时间）