随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文...随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。展开更多
在传统对象Petri网中引入函数的概念,定义了一种全新的生态系统脆弱性评价模型OFPNEM(Object Function Petri Net Model),将对生态系统恶化过程中起促进与抑制作用的两方面因素进行综合考虑与分析。用变迁表示脆弱程度的触发条件,用对...在传统对象Petri网中引入函数的概念,定义了一种全新的生态系统脆弱性评价模型OFPNEM(Object Function Petri Net Model),将对生态系统恶化过程中起促进与抑制作用的两方面因素进行综合考虑与分析。用变迁表示脆弱程度的触发条件,用对象库所表示生态系统变化过程中所处的状态,从而直观地表示生态环境恶化的逻辑因果关系,提出了一种基于对象函数Petri网的矿区生态系统脆弱性评价模型OFPNEM。在对象函数Petri网基础上,结合模型原理的规则,给出OFPNEM算法,并通过实验验证了算法的正确性。通过对象函数Petri网对具有动态变化过程的矿区生态系统脆弱性评价,更加贴近实际情况。展开更多
文摘随着信息化与工业化的融合不断加深,工业控制系统中信息域与物理域交叉部分越来越多,传统信息系统的网络攻击会威胁工业控制系统网络。传统的工业控制系统安全评估方法只考虑功能安全的风险,而忽略了信息安全风险对功能安全的影响。文中提出一种基于改进petri网的工业控制系统功能安全和信息安全一体化风险建模方法(Safety and Security Petri Net Risk Assessment,SSPN-RA),其中包括一体化风险识别、一体化风险分析、一体化风险评估3个步骤。所提方法首先识别并抽象化工业控制系统中的功能安全与信息安全数据,然后在风险分析过程中通过构造结合Kill Chain的petri网模型,分析出功能安全与信息安全中所存在的协同攻击路径,对petri网中功能安全与信息安全节点进行量化。同时,通过安全事件可能性以及其造成的各类损失计算出风险值,实现对工业控制系统的一体化风险评估。在开源的仿真化工工业控制系统下验证该方法的可行性,并与功能安全故障树分析和信息安全攻击树分析进行对比。实验结果表明,所提方法能够定量地得到工业控制系统的风险值,同时也解决了功能安全与信息安全单一领域分析无法识别的信息物理协同攻击和安全风险问题。
文摘在传统对象Petri网中引入函数的概念,定义了一种全新的生态系统脆弱性评价模型OFPNEM(Object Function Petri Net Model),将对生态系统恶化过程中起促进与抑制作用的两方面因素进行综合考虑与分析。用变迁表示脆弱程度的触发条件,用对象库所表示生态系统变化过程中所处的状态,从而直观地表示生态环境恶化的逻辑因果关系,提出了一种基于对象函数Petri网的矿区生态系统脆弱性评价模型OFPNEM。在对象函数Petri网基础上,结合模型原理的规则,给出OFPNEM算法,并通过实验验证了算法的正确性。通过对象函数Petri网对具有动态变化过程的矿区生态系统脆弱性评价,更加贴近实际情况。