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

来源：计算机技术与发展杂志2024年第10期北京时间：

作者：宋浩天;刘伟

摘要：电子商务借助互联网中 app 等形式作为媒介,打破传统的面对面交易体系,使系统变得更复杂,以至易产生更多恶意行为,这些恶意行为可能来自用户,商家或第三方平台等。 第三方支付平台的加入使程序逻辑设计更复杂,更多结构化问题产生。 为此,首先,根据基于 Petri 网的电子商务业务流程网模型,对电子商务系统进行建模推演,提出了电子商务业务流程关键网模型。 其次,根据基于角色访问控制策略中的基数约束和职责分离进行改进,提出了电子商务模型中的行为分离和变迁约束。 通过对序列发生的充分性进行补充,完善在 Petri 网模型中变迁序列发射的充分必要条件,为构建线性不等式提供了条件。最后通过构造线性规划的方法对网模型系统中的变迁约束和行为分离进行求解,进而验证系统的结构化安全性。

关键词：电子商务;Petri网;基数约束;整数线性规划;结构化安全