控制系统全生命周期的内生安全
1、控制装备与软件平台的安全增强技术
2、嵌入式可编程电子组件的安全增强技术
3、控制工程软件开发平台的安全增强技术
控制系统运行安全技术
1、基于远程证明的可信ModBus/Tcp协议研究
2、工业组态监控软件执行过程的动态保护方法
3、基于web组件软件的脚本控制方法
工程文件全生命周期保护
1、逻辑组态存储时的安全技术
2、基于区块链的文件存储与校验
3、动态多路多分片传输协议
4、实时性的影响
逻辑组态编译时的安全技术
1、异构环境的多态部署
2、逻辑变量地址随机分布技术
3、指令混肴技术
4、逻辑组态传输时的安全技术
逻辑组态运行时的安全技术
1、动态重构的多变体执行技术
2、准同步执行机制
3、多余度表决算法
信息物理融合异常检查
1、基于水印认证机制的异常检测方法
2、基于D-FACTS的信息物理协同防御方法
3、信息侧防御
4、物理侧防御
5、CCPD
控制逻辑代码安全审计
PLC的程序运行机制与编程方法
1、PLC的基本结构
2、PLC程序运行机制
3、PLC的程序结构
4、PLC的编程语言
PLC代码安全规范
1、计时器条件竞争缺陷
2、比较函数硬编码缺陷
3、触发线圈缺失缺陷
4、跳转和链接缺陷
5、隐藏跳转缺陷
6、重复对象使用缺陷
7、未使用对象缺陷
文本化编程语言安全分析方法
1、抽象域
2、方程形式(集合约束式)
3、语义定义与集合约束的生成