Results 221 to 230 of about 44,573 (262)
Some of the next articles are maybe not open access.
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
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
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, Martijn Oostdijk
openaire +3 more sources
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, Martijn Oostdijk
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
Automated Generation of Attack Trees
2014 IEEE 27th Computer Security Foundations Symposium, 2014Attack 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 +1 more source
Attack Trees: A Notion of Missing Attacks
2019Attack 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 +1 more source
2021
This paper considers attack trees, a graphical security model that can be used to visualised varying ways an asset may be compromised. We proposed an extension of this model, termed Simplified Timed Attack Trees (STAT). The primary aim here is to use STAT for the analysis of CPS assets. STAT extend attack trees gate refinements with time parameters. In
openaire +1 more source
This paper considers attack trees, a graphical security model that can be used to visualised varying ways an asset may be compromised. We proposed an extension of this model, termed Simplified Timed Attack Trees (STAT). The primary aim here is to use STAT for the analysis of CPS assets. STAT extend attack trees gate refinements with time parameters. In
openaire +1 more source
Semi-automatically Augmenting Attack Trees Using an Annotated Attack Tree Library
2018We 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 +2 more sources
2021 IEEE 12th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON), 2021
Aliyu Tanko Ali, Damas P. Gruska
openaire +1 more source
Aliyu Tanko Ali, Damas P. Gruska
openaire +1 more source
Attacked by the Fighting Trees
2009The next morning Dorothy kissed the pretty green girl good-bye, and they all shook hands with the soldier with the green whiskers, who had walked with them as far as the gate.
L. Frank Baum, W. W. Denslow
openaire +1 more source