Sequential and Parallel Attack Tree Modelling-Reference-Cited by-同舟云学术

Sequential and Parallel Attack Tree Modelling

Published:2015 Issue: Volume: Page:291-299
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Arnold Florian,Guck Dennis,Kumar Rajesh,Stoelinga Mariële

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-24249-1_25

Reference27 articles.

1. Apvrille, L., Roudier, Y.: SysML-Sec: a model-driven environment for developing secure embedded systems. In: SAR-SSI 2013, 8ème Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d’Information, 16–18 Septembre 2013. Mont-de-Marsan, France, Mont-de-Marsan, France, September 2013

2. Lecture Notes in Computer Science;F Arnold,2013

3. Lecture Notes in Computer Science;F Arnold,2014

4. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, Cambridge (2008)

5. Boudali, H., Crouzen, P., Stoelinga, M.: A rigorous, compositional, and extensible framework for dynamic fault tree analysis. IEEE Trans. Dependable Secure Comput. 7(2), 128–143 (2010)

Cited by 31 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Optimal Scheduling of Agents in ADTrees: Specialized Algorithm and Declarative Models;IEEE Transactions on Reliability;2024-06

2. Model-based joint analysis of safety and security:Survey and identification of gaps;Computer Science Review;2023-11

3. Revisiting Attack Trees for Modeling Machine Pwning in Training Environments;2023 3rd Intelligent Cybersecurity Conference (ICSC);2023-10-23

4. Cost-Damage Analysis of Attack Trees;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN);2023-06

5. $$\textsf{ATM}$$: A Logic for Quantitative Security Properties on Attack Trees;Software Engineering and Formal Methods;2023