基于Petri网的电子支付安全模型研究

摘要

Petri网兼顾了严格定义与图形语言两个方面,具有丰富而严格的模型语义,也是一种图形化的语言,具有直观与易懂的特点.电子支付是客户使用电子账户通过网络实施的支付.针对电子支付过程中的安全风险,给出了电子支付可以实施的安全措施.利用Petri网描述安全电子支付流程,采用一种基于逻辑的Petri网分析方法,探索建立了基于Petri网的电子支付安全模型.该模型对于指导电子支付安全项目的研究以及解决实际安全问题具有一定的理论价值和实践意义.对电子支付建立Petri网安全模型的另一个目的,就是为信息安全研究提供新的方法与思路.