基于时间自动机的工控系统网络安全研究

针对工业控制系统的SCADA系统进行安全性形式化分析与验证,以机场供油SCADA系统为例,利用时间自动机理论对控制系统网络进行时间自动机建模,结合几种常见的主动攻击方式构建了针对SCADA系统的攻击模型与防御措施模型,利用UPPAAL当中的检验器对系统在无攻击环境下、遭到攻击环境下和采取防御措施环境下进行安全性验证。结果表明常见的网络攻击对系统的可用性、完整性造成影响,引入防御措施之后系统的安全属性增强,系统的可用性、完整性满足安全需求。

基于组合权重的工控系统安全形式化分析方法

为了提高工业控制系统脆弱性评估结果的准确性,提出一种层次分析法和熵权法相结合的工业控制系统安全形式化分析方法。先构造了系统的攻击防御树模型,结合防御树叶节点特点,构造模糊一致性矩阵以确定安全属性权重,同时采用熵权法计算叶节点在量化过程中各安全属性权重。结合两种方法获得的组合权重,计算出整个系统的脆弱性指数。以民航某机场供油自控系统为例,对其进行了基于该方法的脆弱性评估。结果表明,上述方法能有效提高评估结果的准确性,真实反映出系统的风险点,为系统的安全保障提供科学有效的指导。

可搜索加密技术研究综述

从可搜索加密的两类基本问题出发,回顾了相关研究历史.介绍了可搜索加密的分类,包括其应用场景和应用模型,并探讨了相应的解决策略,从构造角度,将其分为对称可搜索加密和非对称可搜索加密.基于这种分类,围绕基本定义、典型构造和扩展研究,对可搜索加密相关工作进行了综述.最后,总结和展望了待解决的关键性问题和未来的研究方向.这些工作将对可搜索加密的进一步研究起到一定的促进作用.