电力监控网络安全智能巡检加固方法与流程

本发明涉及电力监控，具体涉及电力监控网络安全智能巡检加固方法。

背景技术：

1、随着电力监控网络向智能化、网络化发展，远程遥控、保护定值修改等控制逻辑日趋复杂。在多级变电站联动、分布式能源调控等多设备协同场景下，系统状态呈指数级增长。传统依赖人工或脚本的功能测试，只能验证预设的有限用例，无法穷举所有设备联动时的状态组合与时序逻辑。这种局限性导致控制逻辑中深藏“逻辑漏洞”或“逻辑炸弹”，攻击者可能利用特定时序或异常状态组合，触发预设规则之外的危险动作，如越权分闸、误闭锁等，而常规入侵检测因缺乏逻辑判据难以发现此类合法外衣下的恶意序列。因此，亟需一种能对电力监控网络进行形式化建模、穷举状态空间、自动挖掘未知逻辑漏洞，并能联动靶向攻击验证与闭环加固的智能巡检方法，以提升电力监控网络对深层逻辑漏洞、未知攻击路径及多设备联动风险的识别和处置能力。

技术实现思路

1、本申请提供了电力监控网络安全智能巡检加固方法，解决传统电力监控网络依赖功能测试无法穷举多设备联动状态组合，导致难以发现控制逻辑深层漏洞及未知逻辑风险的技术问题。

2、本申请提供了电力监控网络安全智能巡检加固方法，所述方法包括：

3、针对电力监控网络，调取控制逻辑与安全属性，构建智能巡检模组并嵌入式部署于网络中控；在所述智能巡检模组中，执行基于时间自动机的状态空间遍历，将确定的状态组合导入判断组件，验证所有可达状态是否满足安全属性，当存在违反安全属性的可达状态时激活生成组件进行漏洞反例路径生成，通过多轮遍历处理，确定巡检结果；其中，巡检结果包含基于形式化安全证明的一类巡检结果与基于漏洞反例路径的二类巡检结果；根据所述巡检结果中的二类巡检结果，确定基于靶向攻击的攻击图，对电力监控网络进行攻击测试与基于安全属性的交叉验证，得到加固目标；根据所述加固目标生成加固预案并自动下发，对电力监控网络执行加固处理。

4、本申请中提供的一个或多个技术方案，至少具有如下技术效果或优点：

5、首先面向电力监控网络提取控制逻辑和安全属性，并将其集成到智能巡检模组中，使该模组部署在网络中控端进行持续检测。巡检过程中，利用时间自动机对设备状态、控制指令、时序条件及联动关系进行状态空间遍历，并通过判断组件核验各可达状态是否符合预设安全属性。若发现不满足安全要求的状态，则生成对应的漏洞反例路径，形成包含安全证明结果和漏洞路径结果的巡检结果。之后，针对漏洞路径进一步构建靶向攻击图，并结合实际网络环境开展攻击测试和安全属性交叉验证，从而定位需要加固的风险点。最后，根据加固目标自动生成并下发加固预案，实现对电力监控网络的针对性安全加固。

1.电力监控网络安全智能巡检加固方法，其特征在于，所述方法包括：

2.如权利要求1所述的电力监控网络安全智能巡检加固方法，其特征在于，调取控制逻辑与安全属性，构建智能巡检模组，包括：

3.如权利要求2所述的电力监控网络安全智能巡检加固方法，其特征在于，获取电力监控网络的控制逻辑，建模为时间自动机，包括：

4.如权利要求3所述的电力监控网络安全智能巡检加固方法，其特征在于，执行基于时间自动机的状态空间遍历，将确定的状态组合导入判断组件，验证所有可达状态是否满足安全属性，包括：

5.如权利要求4所述的电力监控网络安全智能巡检加固方法，其特征在于，若所述第一判断结果为不满足，激活生成组件；

6.如权利要求1所述的电力监控网络安全智能巡检加固方法，其特征在于，确定基于靶向攻击的攻击图，对电力监控网络进行攻击测试与基于安全属性的交叉验证，得到加固目标，包括：

7.如权利要求1所述的电力监控网络安全智能巡检加固方法，其特征在于，对电力监控网络进行测试，确定加固目标，包括：

8.如权利要求1所述的电力监控网络安全智能巡检加固方法，其特征在于，根据所述加固目标进行靶向加固分析，确定加固预案；

9.如权利要求1所述的电力监控网络安全智能巡检加固方法，其特征在于，对电力监控网络执行加固处理之后，包括：

10.如权利要求9所述的电力监控网络安全智能巡检加固方法，其特征在于，若所述验证测试结果为攻击路径未阻断，进入迭代加固循环，直至安全属性均满足且验证攻击路径无法绕过。