《表5 状态含义:基于时间自动机的工业控制系统网络安全风险分析》
将表3中各时间自动机模型通过表4所示的信号进行交互通信,连接成一个整体,当时间自动机的各行为满足触发条件时,会发生各时间自动机模型的状态迁移。由各时间自动机构成的时间自动机整体模型的总状态迁移表示整个控制系统状态变化,时间自动机网络中各时间自动机的不同状态含义如表5所示。
图表编号 | XD009440000 严禁用于非法目的 |
---|---|
绘制时间 | 2019.11.10 |
作者 | 吕宗平、丁磊、隋翯、顾兆军 |
绘制单位 | 中国民航大学信息安全测评中心、中国民航大学信息安全测评中心、中国民航大学计算机科学与技术学院、中国民航大学信息安全测评中心、中国民航大学航空工程学院、中国民航大学信息安全测评中心、中国民航大学计算机科学与技术学院 |
更多格式 | 高清、无水印(增值服务) |