.png){kind=icon}
返回
Quantitative Security Risk Modeling and Analysis with RisQFLan
.png){kind=icon}
OA
AI
DOI：10.1016/j.cose.2021.102381.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible. In this paper, we present a tool-supported approach to quantitative graph-based security risk modeling and analysis based on attack-defense trees. Our approach is based on QFLan, a successful domain-specific approach to support quantitative modeling and analysis of highly configurable systems, whose domain-specific components have been decoupled to facilitate the instantiation of the QFLan approach in the domain of graph-based security risk modeling and analysis. Our approach incorporates distinctive features from three popular kinds of attack trees, namely enhanced attack trees, capabilities-based attack trees and attack countermeasure trees, into the domain-specific modeling language. The result is a new framework, called RisQFLan, to support quantitative security risk modeling and analysis based on attack-defense diagrams. By offering either exact or statistical verification of probabilistic attack scenarios, RisQFLan constitutes a significant novel contribution to the existing toolsets in that domain. We validate our approach by highlighting the additional features offered by RisQFLan in three illustrative case studies from seminal approaches to graph-based security risk modeling analysis based on attack trees. (C) 2021 Elsevier Ltd. All rights reserved.
Keyword:
Graph-based security risk models
Attack-defense trees
Probabilistic model checking
Statistical model checking
Formal analysis tools
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
5.4
论文数:
4.6K
被引数:
1.4W
机构
引用论文
A survey on the usability and practical applications of Graphical Security Models.png)
COMPUTER SCIENCE REVIEW
COMPUTER SCIENCE REVIEWIF12.7
PREAI
分享收藏Clinical Significance of SERPINA1 Gene and Its Encoded Alpha1-antitrypsin Protein in NSCLCCancersOAAI
CancersIF0
OAAI分享收藏A role for endothelial nitric oxide synthase in intestinal stem cell proliferation and mesenchymal colorectal cancerBMC BiologyOAAI
BMC BiologyIF0
OAAI分享收藏A Framework for Quantitative Modeling and Analysis of Highly (Re)configurable Systems高度 (重新) 可配置系统的定量建模和分析框架OAAI
OAAI分享收藏
查看更多内容