摘要
通过对电子支付安全协议的研究,利用Petri网描述了电子支付安全协议处理流程;根据可达树分析了电子支付协议Petri网模型的正确性、安全性、公平性、可达性和活性.基于Petri网理论研究电子支付安全协议的工作,对于指导电子支付相关安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.
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.
出处
《大连理工大学学报》
EI
CAS
CSCD
北大核心
2005年第z1期118-121,共4页
Journal of Dalian University of Technology
基金
国家973资助项目(1999035801)
四川省应用基础研究计划课题(04JY029-096)
关键词
安全协议
PETRI网
可达树
电子支付
security protocol
Petri nets
reachability tree
electronic payment
