工业控制系统中安全与安保边界条件的冲突分析与解决
密码学与安全
2023-05-11 v1
摘要
安全与安保是工业控制系统(ICS)的两个最重要属性，二者的集成对于确保安全目标不破坏安保目标且反之亦然是必要的。有时，安全与安保协同工程会导致冲突需求或违规，从而影响系统的正常行为。识别、分析和解决由安全与安保协同工程引发的冲突是一项重大挑战，也是安全关键系统（ICS）中研究不足的领域。本文提出一种STPA-SafeSec-CDCL方法来应对该挑战。我们提出的方法学结合了用于安全与安保分析的STPA-SafeSec方法，以及用于冲突识别、分析与解决的冲突驱动子句学习(CDCL)方法，其中冲突约束被编码为可满足性(SAT)问题。我们将该框架应用于田纳西-伊士曼工厂过程模型——一个专为工业控制过程研究开发的化学过程模型，以演示如何使用所提方法。我们的方法学超越了需求分析阶段，可应用于系统设计与开发的早期阶段，以提高系统的可靠性、鲁棒性与韧性。
引用
@article{arxiv.2305.06185,
title = {Conflict Analysis and Resolution of Safety and Security Boundary Conditions for Industrial Control Systems},
author = {Chidi Agbo and Hoda Mehrpouyan},
journal= {arXiv preprint arXiv:2305.06185},
year = {2023}
}
备注
12 pages, 10 figures, 2022 6th International Conference on System Reliability and Safety (ICSRS)|978-1-6654-7092-6 @IEEE