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

龙图腾网获悉天津科技大学申请的专利一种基于并发合成算子的系统信息安全判定与保护方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119670069B 。

龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411700468.1，技术领域涉及：G06F21/55；该发明授权一种基于并发合成算子的系统信息安全判定与保护方法是由韩晓光;范伟群;张奎泽设计研发完成，并于2024-11-26向国家知识产权局提交的专利申请。

本一种基于并发合成算子的系统信息安全判定与保护方法在说明书摘要公布了：本申请公开了一种基于并发合成算子的系统信息安全判定与保护方法。该方法基于并发合成算子这一崭新技术，具体包括：构造非完全信息条件下的离散事件系统为自动机模型；构造自动机模型的非秘密子自动机；为了估计非秘密子自动机的当前状态，给出了非秘密子自动机的状态观测器模型；将原系统与非秘密子自动机的状态观测器模型进行并发合成运算，得到基于并发合成的信息结构；基于该信息结构，能够判定离散事件系统是否具有基于状态的强不透明性质，所提出的新强化机制能够保护泄露的秘密状态。本申请技术方案通过并发合成算子方法，实现了对非完全信息条件下的离散事件系统基于状态的强不透明性质的验证和保护。

本发明授权一种基于并发合成算子的系统信息安全判定与保护方法在权利要求书中公布了：1.一种基于并发合成算子的系统信息安全判定与保护方法，其特征在于，基于并发合成技术，所述方法包括： 将待判定的非完全信息条件下的离散事件系统建模为自动机模型，所述待判定的非完全信息条件下的离散事件系统包含需要保护的秘密信息，所述秘密信息指所述自动机模型中的秘密状态； 将所述自动机模型中的秘密状态及其相关联的标有事件的变迁删除，得到所述非完全信息条件下的离散事件系统的非秘密子自动机模型，所述非秘密子自动机模型表达式具体为： Gdss＝Xdss,Σdss,δdss,Xdss,0； 其中，Xdss为有限状态集，Σdss为有限事件集，Xdss,0为初始状态集，为局部变迁函数，所述δdss用来描述非秘密子自动机Gdss的动态演化行为； 对所述非秘密子自动机模型进行状态估计，得到非秘密子自动机的状态观测器模型，所述非秘密子自动机的状态观测器模型表达式具体为： 其中，是状态集，为可观事件集，为初始状态集，为局部变迁函数，所述用来描述观测器ObsGdss的动态演化行为； 对所述自动机模型和所述非秘密子自动机的状态观测器模型进行并发合成运算，得到并发合成自动机结构； 基于所述并发合成自动机结构，验证所述待判定的非完全信息条件下的离散事件系统是否具有基于状态的强不透明性质； 若所述非完全信息条件下的离散事件系统具有基于状态的强不透明性质时，说明所述离散事件系统的秘密信息安全； 若所述非完全信息条件下的离散事件系统不具有基于状态的强不透明性质，提出一种新的不透明性强化机制，既对原系统开始运行之前的某些可控变迁禁用，从而保护了离散事件系统的秘密信息安全。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人天津科技大学，其通讯地址为：300457 天津市滨海新区天津经济技术开发区第十三大街9号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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