Electronic Commerce Structured Security Verification Method Based on EBPN Model
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.
electronic commercePetri netcardinality of constraintinteger linear programmingstructural security
国家科技期刊平台
NSTL
万方数据
