Skip to search formSkip to main contentSkip to account menu
  • Publications
  • Influence
Stochastic Activity Networks: Formal Definitions and Concepts
TLDR
This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior and their execution policy precisely.
View via Publisher
The Möbius Framework and Its Implementation
TLDR
The formal description of the Mobius components as well as their implementations in the software tool are described, focusing on the "atomic model", which permits novel combinations of modeling techniques, and will be a catalyst for new research in modeling techniques.
View via Publisher
The Mobius modeling tool
TLDR
Mobius provides an infrastructure to support multiple interacting formalisms and solvers, and is extensible in that new formalisms anal solvers can, be added to the tool without changing those already implemented.
View on IEEE
Model-based evaluation: from dependability to security
TLDR
It is found that many techniques from dependiveness evaluation can be applied in the security domain, but that significant challenges remain, largely due to fundamental differences between the accidental nature of the faults commonly assumed in dependability evaluation, and the intentional, human nature of cyber attacks.
View on IEEE
Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions
TLDR
The practical needs for monitoring and intrusion detection in Advanced Metering Infrastructures are explored through a thorough analysis of the different threats targeting an AMI.
View on IEEE
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Möbius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models
TLDR
This paper documents the current feature set of Möbius 2.3, emphasizing recent significant enhancements.
View on IEEE
RRE: A Game-Theoretic Intrusion Response and Recovery Engine
TLDR
The response and recovery engine (RRE) employs a game-theoretic response strategy against adversaries modeled as opponents in a two-player Stackelberg stochastic game to protect large networks for which attack-response trees have more than 500 nodes.
View on IEEE
The UltraSAN Modeling Environment
View via Publisher
Stochastic Activity Networks: Structure, Behavior, and Application
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License