Results 251 to 260 of about 28,454 (287)
Lecture Notes in Computer Science, 2006 Attack trees have found their way to practice because they have proved to be an intuitive aid in threat analysis. Despite, or perhaps thanks to, their apparent simplicity, they have not yet been provided with an unambiguous semantics. We argue that such a formal interpretation is indispensable to precisely understand how attack trees can be manipulated
Sjouke Mauw, Mauw Sjouke
exaly +5 more sources
Automated Generation of Attack Trees
2014 IEEE 27th Computer Security Foundations Symposium, 2014 Attack trees are widely used to represent threat scenarios in a succinct and intuitive manner, suitable for conveying security information to non-experts. The manual construction of such objects relies on the creativity and experience of specialists, and therefore it is error-prone and impracticable for large systems.
Roberto Vigo +2 more
openaire +2 more sources
Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library
, 2018 We present a method for assisting the semi-automatic creation of attack trees. Our method allows to explore a library of attack trees, select elements from this library that can be attached to an attack tree in construction, and determine how the attachment should be done. The process is supported by a predicate-based formal annotation of attack trees.
Ravi Jhawar +3 more
openaire +3 more sources
Attack Trees: A Notion of Missing Attacks
, 2019 Attack trees are widely used for security modeling and risk analysis. Classically, an attack tree combines possible actions of the attacker into attacks. In most existing approaches, an attack tree represents generic ways of attacking a system, but without taking any specific system or its configuration into account.
Pinchinat, Sophie +3 more
openaire +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Advances in Intelligent Systems and Computing, 2018
Attack trees provide a model to describe the security of a system based on the possibility of various attacks. In this paper, we propose the concept of “attack graphs” as an extension of attack trees, wherein directed acyclic graphs are used to depict possible attacks on a system.
Peng Sheng-Lung
exaly +2 more sources
Attack trees provide a model to describe the security of a system based on the possibility of various attacks. In this paper, we propose the concept of “attack graphs” as an extension of attack trees, wherein directed acyclic graphs are used to depict possible attacks on a system.
Peng Sheng-Lung
exaly +2 more sources
Computers & Electrical Engineering, 2011
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John N. Whitley +3 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John N. Whitley +3 more
openaire +1 more source
Exploiting Bayesian Networks for the Analysis of Combined Attack Trees [PDF]
Electronic Notes in Theoretical Computer Science, 2015 The growing need to find proper countermeasures able to protect critical infrastructures from threats has addressed the definition of quantitative methodologies for risk assessment. One of the most difficult aspects in this topic is the evaluation of the
Marco Gribaudo +2 more
exaly +2 more sources
Attack trees in Isabelle extended with probabilities for quantum cryptography [PDF]
Computers and Security, 2019 In this paper, we present a proof calculus for Attack Trees and how its application to Quantum Cryptography is made possible by extending the framework to probabilistic reasoning on attacks.
Florian Kammüller
exaly +2 more sources
On the Soundness of Attack Trees
2016We formally define three notions of soundness of an attack tree w.r.t. the system it refers to: admissibility, consistency, and completeness. The system is modeled as a labeled transition system and the attack is provided with semantics in terms of paths of the transition system.
Maxime Audinot, Sophie Pinchinat
openaire +3 more sources
On Validating Attack Trees with Attack Effects
2020Threats or attacks can be decomposed into more primitive attacks/events by attack trees. These trees can show possible scenarios of threats. In addition, the quantitative properties of attacks, called attributes, can be integrated along with the tree structures.
Hideaki Nishihara +3 more
openaire +1 more source