Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes)
Modeling safety and security interdependencies with BDMP (Boolean logic Driven Markov Processes)
复制标题
使用 BDMP（布尔逻辑驱动马尔可夫过程）对安全和安保相互依赖性进行建模
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
M. Bouissou
中科院分区：
文献类型：
--
作者：
L. Piètre;M. Bouissou
安全和安保问题日益集中在同一个关键系统上，导致出现了新的情况，在这种情况下，这些密切相互依存的概念现在应一并审议。实际上，相关的要求、技术和组织措施可能产生各种相互作用和副作用，从相互加强到完全对立。需要更好地描述这些相互依存关系，以确保这种趋同所涉及的系统的风险水平可控。本文介绍了这个开放的问题上的最新技术，并提出了一种新的方法，基于BERRY（布尔逻辑驱动马尔可夫过程），允许图形化建模和先进的表征安全和安全的相互依赖性。通过不同的建模变量使用一个简单的用例，说明了功能，贡献以及与其他处理安全和安全相互依赖关系的工作有关的限制。我们认为，所提出的方法构成了一个原始的和有价值的工具，可以找到它的地方，在正在进行的研究，旨在解决这个开放和具有挑战性的任务。
Safety and security issues are increasingly converging on the same critical systems, leading to new situations in which these closely interdependent notions should now be considered together. Indeed, the related requirements, technical and organizational measures can have various interactions and side-effects ranging from mutual reinforcements to complete antagonisms. A better characterization of these interdependencies is needed to ensure a controlled level of risk for the systems concerned by such a convergence. This paper describes the state of the art on this open issue and presents a new approach based on BDMP (Boolean logic Driven Markov Processes), allowing graphical modeling and advanced characterization of safety and security interdependencies. A simple use-case is used through diverse modeling variants, illustrating the capabilities, the contributions but also the limits with respect to other works dealing with safety and security interdependencies. We believe the proposed approach constitutes an original and valuable tool which could find its place in the ongoing research aiming at tackling this open and challenging task.