| 电子支付安全协议的Petri网模型及分析 |
| |
| 引用本文： | 林松,戴宗坤.电子支付安全协议的Petri网模型及分析[J].大连理工大学学报,2005,45(Z1):118-121. |
| |
| 作者姓名： | 林松 戴宗坤 |
| |
| 作者单位： | 四川大学,信息安全研究所,四川,成都,610064 |
| |
| 基金项目： | 科技部科研项目;四川省应用基础研究计划 |
| |
| 摘 要： | 通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性. 基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.
|
| 关 键 词： | 安全协议 Petri网 可达树 电子支付 |
| 文章编号： | 1000-8608(2005)S-S118-04 |
| 修稿时间： | 2004年12月1日 |
Petri net model and analysis for electronic payment security protocol |
| |
| LIN Song,DAI Zong-kun.Petri net model and analysis for electronic payment security protocol[J].Journal of Dalian University of Technology,2005,45(Z1):118-121. |
| |
| Authors: | LIN Song DAI Zong-kun |
| |
| Abstract: | Through the research on the electronic payment security protocol,this paper describes the process flows for the electronic payment security protocol by referring to Petri nets.It makes use of the reachability tree to analyze the correctness,safety,fairness,reachability and liveliness of the Petri nets model of security electronic payment.The work on electronic payment security protocol based on Petri nets,provides values in both theoretical analysis and practical applications to electronic payment security problems. |
| |
| Keywords: | security protocol Petri nets reachability tree electronic payment |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
