买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉安徽大学申请的专利一种电子商务系统的安全性分析优化方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN117972709B 。

龙图腾网通过国家知识产权局官网在2025-12-05发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202311654121.3，技术领域涉及：G06F21/57；该发明授权一种电子商务系统的安全性分析优化方法是由李薛剑;王昌羽设计研发完成，并于2023-12-05向国家知识产权局提交的专利申请。

本一种电子商务系统的安全性分析优化方法在说明书摘要公布了：本发明公开了一种电子商务系统的安全性分析优化方法，首先使用Petri网分别对电子商务系统中的业务流和数据流分别进行建模，然后两个模型合并，得到合并后的Petri网模型，再将Petri网模型转变为状态迁移图，并定义电子商务系统安全性的规约公式；然后将电子商务系统的状态迁移图和规约公式一起放入模型检查工具，验证电子商务系统的可达性、时间有效性和数据一致性，根据三者的结果判定电子商务系统的安全性。本发明可以有效验证电子商务系统的有效性，评估电子商务系统正式上线前的安全性，避免数据被恶意篡改、数据更新不及时、支付前后数据保持不一致的问题，增强用户对电子商务系统安全的信任，提高用户的安全感。

本发明授权一种电子商务系统的安全性分析优化方法在权利要求书中公布了：1.一种电子商务系统的安全性分析优化方法，其特征在于：具体包括以下步骤： 1、使用Petri网分别对电子商务系统中的业务流和数据流分别进行建模，然后将电子商务系统的业务流模型和数据流模型合并，得到合并后的Petri网模型； 2、将Petri网模型转变为状态迁移图； 3、针对电子商务系统的可达性、时间有效性和数据一致性，定义电子商务系统安全性的规约公式； 所述的电子商务系统安全性的规约公式包括有： S31、可达性公式：，表示存在一条从初始状态出发、在未来的任意时刻会到达目标状态的路径； S32、时间有效性公式：，表示任意一条从初始状态出发，在未来的任意时刻会到达状态，并且到达状态所经过的变迁满足其时间约束，即满足当前全局时间在变迁的引发区间中； S33、数据时间一致性公式：表示在任何时刻，用户下单，那么下单所处状态在时间段内的未来任何时刻被改变，从而变更为状态； S34、数据逻辑一致性公式：表示用户支付之后，在支付状态后的未来任意时刻，支付模块的订单号等于用户的订单号，订单数据是保持逻辑一致的； S35、数据实时一致性公式：表示在任何时刻，用户下单，那么下单后的资源立即更新，其中，表示下单所处状态，表示资源发生更新后所处的状态； 4、将电子商务系统的状态迁移图和规约公式一起放入模型检查工具，检查电子商务系统的模型是否满足规约公式，满足，即电子商务系统的安全性检测合格； 5、当电子商务系统的模型不满足规约公式，模型检查工具会返回一个反例，通过反例优化电子商务系统的模型，然后重复步骤1-4，直至电子商务系统的安全性检测合格； 所述的通过反例优化电子商务系统的模型的具体步骤为： S51、分析反例，确定导致规约公式不满足的具体情况或路径； S52、根据反例的分析结果，对电子商务系统的模型进行修改和优化；修改和优化具体是增加新的时间约束、逻辑约束或上述两个约束，调整电子商务系统的行为规则，或者修改数据处理流程。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人安徽大学，其通讯地址为：230601 安徽省合肥市经济技术开发区九龙路111号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。