[1]宋浩天,刘伟.基于EBPN模型的电子商务结构化安全验证方法[J].计算机技术与发展,2024,34(10):100-109.[doi:10.20165/j.cnki.ISSN1673-629X.2024.0186]
　SONG Hao-tian,LIU Wei.Electronic Commerce Structured Security Verification Method Based on EBPN Model[J].,2024,34(10):100-109.[doi:10.20165/j.cnki.ISSN1673-629X.2024.0186]
点击复制

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

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
34
期数:
2024年10期
页码:
100-109
栏目:
软件技术与工程
出版日期:
2024-10-10

文章信息/Info

Title:
Electronic Commerce Structured Security Verification Method Based on EBPN Model
文章编号:
1673-629X(2024)10-0100-10
作者:
宋浩天; 刘伟
山东科技大学 计算机科学与工程学院,山东 青岛 266590
Author(s):
SONG Hao-tian; LIU Wei
School of Computer Science and Engineering,Shandong University of Science and Technology,Qingdao 266590,China
关键词:
电子商务; Petri网; 基数约束; 整数线性规划; 结构化安全
Keywords:
electronic commerce; Petri net; cardinality of constraint; integer linear programming; structural security
分类号:
TP311
DOI:
10.20165/j.cnki.ISSN1673-629X.2024.0186
摘要:
电子商务借助互联网中 app 等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等。 第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生。 为此,首先,根据基于 Petri 网的电子商务业务流程网模型,对电子商务系统进行建模推演,提出了电子商务业务流程关键网模型。 其次,根据基于角色访问控制策略中的基数约束和职责分离进行改进,提出了电子商务模型中的行为分离和变迁约束。 通过对序列发生的充分性进行补充,完善在 Petri 网模型中变迁序列发射的充分必要条件,为构建线性不等式提供了条件。最后通过构造线性规划的方法对网模型系统中的变迁约束和行为分离进行求解,进而验证系统的结构化安全性。
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.

相似文献/References:

[1]翁辉 徐海珠 陈晓山.基于Petri网的装备战场抢修系统建模研究[J].计算机技术与发展,2010,(03):176.
　WENG Hui,XU Hai-zhu,CHEN Xiao-shan.Modeling Research on Equipment Battlefield Repair System Based on Petri Net[J].,2010,(10):176.
[2]李龙澍 胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,(04):76.
　LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].,2010,(10):76.
[3]韩咚 田银花.基于赋时颜色Petri网的NSSK协议建模[J].计算机技术与发展,2010,(06):156.
　HAN Dong,TIAN Yin-hua.The Modeling of NSSK Protocols Based on Timed Colored Petri Nets[J].,2010,(10):156.
[4]徐晶明 杜宝珠.基于Petri网化简技术的工作流过程模型结构验证[J].计算机技术与发展,2009,(06):51.
　XU Jing-ming,DU Bao-zhu.Workflow Process Model Structure Verification Based on Petri Net Reduction Techniques[J].,2009,(10):51.
[5]胡文江 高永兵 樊瑞民 张健.基于Web服务的工作流执行优化方法探讨[J].计算机技术与发展,2009,(06):156.
　HU Wen-jiang,GAO Yong-bing,FAN Rui-min,et al.Research of Workflow Optimal Strategy Based on Web Services[J].,2009,(10):156.
[6]曹毅 贺卫红.基于内容过滤的电子商务推荐系统研究[J].计算机技术与发展,2009,(06):182.
　CAO Yi,HE Wei-hong.Research on E- Commerce Recommender System Based on Content - Based Filtering[J].,2009,(10):182.
[7]王宁.一种基于BP神经网络的即时在线推荐系统[J].计算机技术与发展,2009,(07):230.
　WANG Ning.An Online Recommendation System Based on BP Network[J].,2009,(10):230.
[8]衡友跃 刘锋 仲红.基于J2EE轻量级框架的电子商务研究[J].计算机技术与发展,2009,(10):106.
　HF,NG You-yue,LIU Feng,et al.Research on E - business Based on Lightweight J2EE Framework[J].,2009,(10):106.
[9]毛伟伟 于素萍.基于Petri网的Web服务动态组合[J].计算机技术与发展,2009,(11):61.
　MAO Wei-wei,YU Su-ping.Dynamic Web Service Composition Based on Petri Nets[J].,2009,(10):61.
[10]封会娟 于永利 张柳 刘文武.机动防空任务聚合级装备作战单元维修性仿真[J].计算机技术与发展,2009,(11):230.
　FENG Hui-juan,YU Yong-li,ZHANG Liu,et al.Simulation Model of Aggregated Equipment Combat Units＇ Mission Maintainability Based on Mobile Aerial Defense Mission[J].,2009,(10):230.
[11]傅游 任晓军.基于Petri网的非集中式电子商务平台建模与仿真[J].计算机技术与发展,2010,(11):137.
　FU You,REN Xiao-jun.Modeling and Simulation of Non-Centralized Electronic Commerce System Based on Petri Net[J].,2010,(10):137.

更新日期/Last Update: 2024-10-10