.png){kind=icon}
返回
Beyond 2014: Formal Methods for Attack Tree-based Security Modeling
.png){kind=icon}
PRE
AI
DOI：10.1145/3331524.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Attack trees are a well established and commonly used framework for security modeling. They provide a readable and structured representation of possible attacks against a system to protect. Their hierarchical structure reveals common features of the attacks and enables quantitative evaluation of security, thus highlighting the most severe vulnerabilities to focus on while implementing countermeasures. Since in real-life studies attack trees have a large number of nodes, their manual creation is a tedious and error-prone process, and their analysis is a computationally challenging task. During the last half decade, the attack tree community witnessed a growing interest in employing formal methods to deal with the aforementioned difficulties. We survey recent advances in graphical security modeling with focus on the application of formal methods to the interpretation, (semi-)automated creation, and quantitative analysis of attack trees and their extensions. We provide a unified description of existing frameworks, compare their features, and outline interesting open questions.
Keyword:
Attack trees
attack-defense trees
graphical security modeling
formal methods
quantitative analysis of security
automatic generation of security models
model checking
logics
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
28
论文数:
2.4K
被引数:
3.5W
机构
引用论文
Combating Counterfeit Drugs: A quantitative analysis on cracking down the fake drug industry by using Blockchain technology.png)
2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence)
2019 9th International Conference on Cloud Computing, Data Science & Engineering (Confluence)IF0
PREAI
分享收藏A strategic review approach on adoption of autonomous vehicles and its risk perception by road users
PREAI
分享收藏Utilization of Artificial Intelligence in Disease Prevention: Diagnosis, Treatment, and Implications for the Healthcare Workforce人工智能在疾病预防中的应用: 诊断，治疗以及对医疗保健人员的影响Healthcare
OAAI
HealthcareIF0
OAAI分享收藏分享收藏A survey on the usability and practical applications of Graphical Security ModelsCOMPUTER SCIENCE REVIEW
COMPUTER SCIENCE REVIEWIF12.7
PREAI
分享收藏Concentrations and origin of polycyclic aromatic hydrocarbons in sediments of the Middle Adriatic Sea亚得里亚海中部沉积物中多环芳烃的浓度和来源
OAAI
OAAI分享收藏
查看更多内容