基于EBPN模型的电子商务结构化安全验证方法OACSTPCD
Electronic Commerce Structured Security Verification Method Based on EBPN Model
电子商务借助互联网中app等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等.第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生.为此,首先,根据基于Petri网的电子商务业务流程网模型,对电子商务系统进行建模推演,提出了电子商务业务流程关键网模型.其次,根据基于角色访问控制策略中的基数约束和职责分离进行改进,提出了电子商务模型中的行为分离和变迁约束.通过对序…查看全部>>
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 netw…查看全部>>
宋浩天;刘伟
山东科技大学 计算机科学与工程学院,山东 青岛 266590山东科技大学 计算机科学与工程学院,山东 青岛 266590
计算机与自动化
电子商务Petri网基数约束整数线性规划结构化安全
electronic commercePetri netcardinality of constraintinteger linear programmingstructural security
《计算机技术与发展》 2024 (10)
100-109,10
山东省教育教学研究重点课题(2023JXZ001)
评论