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

龙图腾网获悉北京启明星辰信息安全技术有限公司;启明星辰信息技术集团股份有限公司申请的专利一种工业控制系统中形式化验证方法和系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121596805B 。

龙图腾网通过国家知识产权局官网在2026-04-21发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202610114063.2，技术领域涉及：G05B19/042；该发明授权一种工业控制系统中形式化验证方法和系统是由张帅;赵军凯;王一鸣;李建磊;杨帆设计研发完成，并于2026-01-28向国家知识产权局提交的专利申请。

本一种工业控制系统中形式化验证方法和系统在说明书摘要公布了：一种工业控制系统中形式化验证方法和系统，所述方法包括：确定工业控制系统中当前报文中的操作对象对应的目标业务实体；从验证规则库中获取目标业务实体对应的至少一条目标规则；基于每条目标规则对当前报文中的操作数值执行逻辑验证操作；若逻辑验证操作的判定结果表明违反目标规则，则触发安全响应动作；其中，逻辑验证操作的执行过程包括：生成当前报文中操作数值对应的瞬时原子命题真值；以及，从系统状态缓存中获取目标规则中其他原子命题的真值，得到历史原子命题真值；组合瞬时原子命题真值与历史原子命题真值，得到当前报文的原子命题真值向量；获取原子命题真值向量对应的判定结果，防御那些利用合法指令但违反工艺流程的逻辑攻击。

本发明授权一种工业控制系统中形式化验证方法和系统在权利要求书中公布了：1.一种工业控制系统中形式化验证方法，其特征在于，所述方法预加载有语义映射表和验证规则库，其中所述语义映射表中每个语义映射关系至少记录有每个操作对象对应的业务实体以及该业务实体的原子命题生成策略，所述验证规则库记录有每个业务实体的时序逻辑规则，其中每个时序逻辑规则记录有各自工艺流程中业务操作之间所遵循的时序关系与逻辑关系；其中所述方法包括： 根据所述语义映射表中操作对象和业务实体的映射关系，确定工业控制系统中当前报文中的操作对象对应的目标业务实体； 从所述验证规则库中获取所述目标业务实体对应的适用于当前操作场景的安全约束，得到至少一条目标规则； 基于每条目标规则对所述当前报文中的操作数值执行逻辑验证操作，用以判断当前操作场景中即将发生的下一个业务操作是否符合工艺流程所遵循的时序关系与逻辑关系； 若所述逻辑验证操作的判定结果为违反所述目标规则，表示当前操作场景存在利用合法指令实施逻辑攻击的行为，则触发安全响应动作； 其中，所述逻辑验证操作的执行过程包括： 根据所述语义映射表中所述目标业务实体的原子命题生成策略，生成当前报文中操作数值对应的瞬时原子命题真值，其中所述原子命题生成策略用于将当前报文的操作数值解释为反映当前操作意图或实体状态的布尔命题；以及，根据所述目标规则中用于记录所述目标规则验证所依赖的原子命题集合的原子命题列表，从系统状态缓存中获取所述原子命题集合中每个原子命题的真值，得到历史原子命题真值，其中所述系统状态缓存以原子命题为键，存储其最近一次被验证为符合规则时所对应的真值； 根据所述目标规则中的真值向量生成策略，组合所述瞬时原子命题真值与所述历史原子命题真值，得到用于表征当前报文对应的完整业务场景的原子命题真值向量； 根据所述目标规则中的状态转移策略，获取所述原子命题真值向量对应的判定结果，包括：将所述原子命题真值向量输入至验证状态机，以获取所述原子命题真值向量对应的判定结果；其中所述验证状态机至少基于所述验证规则库中所述目标规则编译生成的确定性有限状态机。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人北京启明星辰信息安全技术有限公司;启明星辰信息技术集团股份有限公司，其通讯地址为：100193 北京市海淀区东北旺西路8号21号楼启明星辰大厦102号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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