计算机技术与发展2024，Vol.34Issue(10)：100-109,10.DOI:10.20165/j.cnki.ISSN1673-629X.2024.0186
基于EBPN模型的电子商务结构化安全验证方法
Electronic Commerce Structured Security Verification Method Based on EBPN Model
摘要
Abstract
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.关键词
电子商务/Petri网/基数约束/整数线性规划/结构化安全Key words
electronic commerce/Petri net/cardinality of constraint/integer linear programming/structural security分类
信息技术与安全科学引用本文复制引用
宋浩天,刘伟..基于EBPN模型的电子商务结构化安全验证方法[J].计算机技术与发展,2024,34(10):100-109,10.基金项目
山东省教育教学研究重点课题(2023JXZ001) （2023JXZ001）
