Results 11 to 20 of about 28,454 (287)
Attack Trees with Sequential Conjunction [PDF]
IFIP Advances in Information and Communication Technology, 2015 We provide the first formal foundation of SAND attack trees which are a popular extension of the well-known attack trees. The SAND attack tree formalism increases the expressivity of attack trees by introducing the sequential conjunctive operator SAND. This operator enables the modeling of ordered events.
Sjouke Mauw +2 more
exaly +7 more sources
Attack Trees in Isabelle [PDF]
, 2018 In this paper, we present a proof theory for attack trees. Attack trees are a well established and useful model for the construction of attacks on systems since they allow a stepwise exploration of high level attacks in application scenarios. Using the expressiveness of Higher Order Logic in Isabelle, we succeed in developing a generic theory of attack
Kammueller, F.
openaire +4 more sources
Foundations of Attack–Defense Trees [PDF]
, 2011 We introduce and give formal definitions of attack-defense trees. We argue that these trees are a simple, yet powerful tool to analyze complex security and privacy problems. Our formalization is generic in the sense that it supports different semantical approaches. We present several semantics for attack-defense trees along with usage scenarios, and we
Barbara Kordy +3 more
openaire +5 more sources
Climate indirectly modulates tree survival of spruce beetle attacks via effects on constitutive and induced secondary metabolites [PDF]
Frontiers in Plant ScienceDespite many years of research, it remains challenging to determine why some trees survive bark beetle attacks while others do not. Current theory suggests that survival is predicated by interactions between tree defense systems and climatic drivers, but
Ehsan Khedive +4 more
doaj +2 more sources
Small-Scale Spatial Distribution of Mountain Pine Beetle Attacks by Parent and Brood Adults in Lodgepole Pine Forests in Northern Colorado [PDF]
InsectsThe mountain pine beetle, Dendroctonus ponderosae, is a bark beetle that can cause extensive tree mortality of its hosts in western North America. Lodgepole pine, Pinus contorta, is one of its primary and most widely distributed hosts.
José F. Negrón, Larry Scott Baggett
doaj +2 more sources
Parametric Analyses of Attack-Fault Trees [PDF]
2019 19th International Conference on Application of Concurrency to System Design (ACSD), 2019 Risk assessment of cyber-physical systems, such as power plants, connected devices and IT-infrastructures has always been challenging: safety (i. e., absence of unintentional failures) and security (i. e., no disruptions due to attackers) are conditions that must be guaranteed.
André, Étienne +3 more
openaire +8 more sources
Frontiers in Computer ScienceAttack trees are a widely used method for threat modeling and analyzing cyber-attacks in organizational networks. Assessing the risk associated with each individual node of an attack tree is crucial for understanding the overall risk of the attack.
Atul Rana, Sachin Gupta, Bhoomi Gupta
doaj +3 more sources
Attribute Decoration of Attack–Defense Trees [PDF]
International Journal of Secure Software Engineering, 2012 Attack–defense trees can be used as part of threat and risk analysis for system development and maintenance. They are an extension of attack trees with defense measures. Moreover, tree nodes can be decorated with attributes, such as probability, impact, and penalty, to increase the expressiveness of the model.
Alessandra Bagnato +3 more
openaire +3 more sources
On the Meaning and Purpose of Attack Trees [PDF]
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019 Attack trees are a popular notation for describing threats to systems, both in academia and industry. Originally, attack trees lacked a formal semantics, but formal semantics for different variants of attack trees were proposed later. These semantics focus on the attacker^{\prime}s actions defined in the leaves and the logical structure defined by the ...
Heiko Mantel, Christian W. Probst
openaire +2 more sources