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

龙图腾网恭喜中北大学申请的专利系统安全验证方法、验证系统和终端设备获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119513853B 。

龙图腾网通过国家知识产权局官网在2025-05-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202411687520.4，技术领域涉及：G06F21/44；该发明授权系统安全验证方法、验证系统和终端设备是由李小燕;李剑;潘毅华;李传坤;崔敏;刘瑞设计研发完成，并于2024-11-25向国家知识产权局提交的专利申请。

本系统安全验证方法、验证系统和终端设备在说明书摘要公布了：本申请提供一种系统安全验证方法、验证系统和终端设备，通过对一个信息物理系统进行动态逻辑层面的抽象化处理，构建出离散事件系统模型；在这种模型中，系统状态的变化是由离散事件的异步触发而驱动的，在本申请中，状态攻击指的是外部入侵者能够对系统发起状态攻击，并能够根据攻击后获取的信息，精确判断系统当前状态是否受到了攻击的影响；当不存在状态攻击时，通过分析系统生成的事件序列，对系统的当前状态进行合理的估计，从而验证系统的安全性。由此，本申请能够利用系统发生的事件序列以及外部入侵者可能获取到的攻击序列，对系统的当前状态进行合理的推断，从而有效地验证系统在遭受状态攻击时的安全性。

本发明授权系统安全验证方法、验证系统和终端设备在权利要求书中公布了：1.一种系统安全验证方法，其特征在于，所述方法包括：对预设信息物理系统进行建模，构建其实际自动机；设计攻击自动机并将所述实际自动机中的状态集分为被攻击状态集和未被攻击状态集；设计映射自动机并对所述攻击自动机进行自然映射操作；设计状态观测器并对所述映射自动机进行状态估计操作；根据所述状态观测器，判断状态估计是否只包含秘密状态，若所有状态估计均包含至少一个非秘密状态，则所述预设信息物理系统满足状态攻击下的不透明性；若存在至少一个状态估计不包含非秘密状态，则所述预设信息物理系统不满足状态攻击下的不透明性；在设计攻击自动机时，所述攻击自动机形式化表征为函数表达式：，其中，表示所述攻击自动机的状态集，表示所述攻击自动机的被攻击状态集，表示所述攻击自动机的事件标号集，表示所述攻击自动机的攻击形态标号集，表示所述攻击自动机的状态转移函数，表示所述攻击自动机的攻击形态赋值函数，表示所述攻击自动机的初始状态，表示所述攻击自动机。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中北大学，其通讯地址为：030051 山西省太原市尖草坪区学院路3号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。