Results 31 to 40 of about 24,085 (261)
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
openaire +2 more sources
A Survey of Automatic Generation of Attack Trees and Attack Graphs
CoRR, 2023 Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These kinds of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual construction of these models can be tedious, especially for large enterprises.
Alyzia Maria Konsta +3 more
openaire +2 more sources
Silva Fennica, 1999 In 1990â1991, Diprion pini extensively defoliated Scots pine (Pinus sylvestris L.) trees in Lauhanvuori National Park in southwestern Finland. Many trees lost all their foliage, while others had ca. 10% foliage left after the second year of defoliation.
Annila, Erkki +4 more
doaj +1 more source
A Novel Approach for Attack Tree to Attack Graph Transformation
, 2022 Attack trees and attack graphs are both common graphical threat models used by organizations to better understand possible cybersecurity threats. These models have been primarily seen as separate entities, to be used and researched in entirely different contexts, but recently there has emerged a new interest in combining the strengths of these models ...
Schiele, N.D., Gadyatskaya, O.
openaire +2 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 +1 more source
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 +2 more sources
IEEE AccessElectric vehicle charging infrastructure (EVCI) constitutes a representative cyber-physical system (CPS), in which cyber-domain commands directly translate into physical power control, allowing vulnerabilities to propagate across hierarchical components ...
Jae-Jun Ha +2 more
doaj +1 more source
Journal of Forest Science, 2007 Manipulated experiments with males of Ips typographus (L., 1758) were conducted in spruce stands in north-western Slovakia. Some of trees were stressed by a lack of water caused by preparation of roofs under canopy.
M. Turčáni, O. Nakládal
doaj +1 more source
PLoS ONE, 2013 Ecological disturbances can significantly affect biogeochemical cycles in terrestrial ecosystems, but the biogeochemical consequences of the extensive mountain pine beetle outbreak in high elevation whitebark pine (WbP) (Pinus albicaulis) ecosystems of ...
Megan P Keville +2 more
doaj +1 more source
Reconstructing enzyme evolution by protein engineering
FEBS Letters, EarlyView.Natural enzyme evolution can be retraced by protein engineering methods such as directed evolution, rational design, and ancestral sequence reconstruction. These approaches reveal how enzymes emerged from ligand‐binding scaffolds, developed varying substrate preferences, formed oligomeric complexes, adapted to environmental changes, and evolved novel ...
Lukas Drexler +2 more
wiley +1 more source