基于EBPN模型的电子商务结构化安全验证方法OACSTPCD

With the help of apps and other forms on the Internet as a medium,e-commerce breaks the traditional face-to-face transaction system,making the system more complex and prone to more malicious behaviors,which may come from users,merchants or third-party platforms.The addition of the third-party payment platform makes the program logic design more complicated and more structural problems arise.Therefore,first of all,according to e-commerce business process network model based on the Petri net,the e-commerce system is modeled,and the e-commerce business process critical network model is proposed.Secondly,according to cardinality of constraints and separation of duties based on the role access control strategy for improvement,the separation of action and constraints of transition in the e-commerce system is put forward.By supplementing the sufficiency of sequence generation,the sufficient and necessary conditions of transition sequence emission in Petri net model are perfected,which provides the conditions for constructing linear inequalities.Finally,the constraints of transition and separation of action in the network model system are solved by constructing linear programming method,and then the structural security of the system is verified.