|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| Search | ||
| ||
2010 European Dependable Computing Conference
Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)
Valencia, Spain
April 28-April 30
ISBN: 978-0-7695-4007-8
| ASCII Text | x | ||
| Ludovic Piètre-Cambacédès, Marc Bouissou, "Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)," European Dependable Computing Conference, pp. 199-208, 2010 European Dependable Computing Conference, 2010. | |||
| BibTex | x | ||
| @article{ 10.1109/EDCC.2010.32, author = {Ludovic Piètre-Cambacédès and Marc Bouissou}, title = {Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)}, journal ={European Dependable Computing Conference}, volume = {0}, year = {2010}, isbn = {978-0-7695-4007-8}, pages = {199-208}, doi = {http://doi.ieeecomputersociety.org/10.1109/EDCC.2010.32}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - European Dependable Computing Conference TI - Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP) SN - 978-0-7695-4007-8 SP199 EP208 A1 - Ludovic Piètre-Cambacédès, A1 - Marc Bouissou, PY - 2010 KW - security KW - attack trees KW - BDMP KW - dynamic modeling VL - 0 JA - European Dependable Computing Conference ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EDCC.2010.32
Boolean logic Driven Markov Processes (BDMP) are a powerful modeling tool used in the reliability and safety domains. We propose to take advantage of their capabilities to go beyond the traditional techniques used to model attack scenarios. In particular we show how this new approach can be seen as preferable to attack trees and Petri net-based methods. Attack trees are inherently static and limited to independent events, whereas BDMP are dynamic and can take into account simple dependences. This allows the modeling of attack sequences, but also of defensive aspects such as detections. Petri net-based approaches are highly flexible but often lack readability and scalability; BDMP representations are close to attack trees, inheriting their readability and easy appropriation. Moreover, BDMP have mathematical properties leading to drastic reductions of combinatorial problems, allowing efficient scenarios processing and time dependent quantifications. Finally, limits and improvement perspectives are discussed.
Index Terms:
security, attack trees, BDMP, dynamic modeling
Citation:
Ludovic Piètre-Cambacédès, Marc Bouissou, "Beyond Attack Trees: Dynamic Security Modeling with Boolean Logic Driven Markov Processes (BDMP)," edcc, pp.199-208, 2010 European Dependable Computing Conference, 2010
Usage of this product signifies your acceptance of the Terms of Use.
