|
|||||
|
|
| 电子支付安全协议的Petri网模型及分析 | |
| 作者姓名： | 林松 戴宗坤 |
| 作者单位： | 四川大学,信息安全研究所,四川,成都,610064 |
| 基金项目： | 科技部科研项目;四川省应用基础研究计划 |
| 摘 要： | 通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义. |
| 关 键 词： | 安全协议 Petri网 可达树 电子支付 |
| 文章编号： | 1000-8608(2005)S-S118-04 |
| 修稿时间： | 2004-12-01 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |