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

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

Research in security model of electronic payment based on Petri nets

Petri net covers both the strict definitions and graphical languages. It has a rich set ofmodeling language with strict definitions, and on the other hand also a graphical language. Its language is characterized by being intuitionistic and easily to understand. Electronic payment is the means through which the clients use to disburse payments via the network for electronic accounts. A security measure is presented that can be implemented to electronic payment and focus on mitigating the security risks that may occur during the process of electronic payment. The petri nets was made use of to describe safe electronic payment processes, and a petri net analytical methodology was deployed based on the logic. The electronic payment security models were explored built on petri nets. Values, both in theory and on implementation were provided for the electronic payment security research project and to provide the solution to the practical security issues. The another objective of building a secure petri nets model for E-payment is to provide new researching methods and thoughts for information security.