Share This Author
Stochastic Activity Networks: Formal Definitions and Concepts
This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior and their execution policy precisely.
The Möbius Framework and Its Implementation
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.
The Mobius modeling tool
- G. Clark, T. Courtney, P. Webster
- Computer ScienceProceedings 9th International Workshop on Petri…
- 11 September 2001
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.
Model-based evaluation: from dependability to security
- D. Nicol, W. Sanders, Kishor S. Trivedi
- Computer ScienceIEEE Transactions on Dependable and Secure…
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.
Intrusion Detection for Advanced Metering Infrastructures: Requirements and Architectural Directions
- R. Berthier, W. Sanders, H. Khurana
- Computer ScienceFirst IEEE International Conference on Smart Grid…
- 4 November 2010
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.
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
- T. Courtney, Shravan Gaonkar, K. Keefe, Eric Rozier, W. Sanders
- Computer ScienceIEEE/IFIP International Conference on Dependable…
- 29 September 2009
This paper documents the current feature set of Möbius 2.3, emphasizing recent significant enhancements.
RRE: A Game-Theoretic Intrusion Response and Recovery Engine
- S. Zonouz, H. Khurana, W. Sanders, Timothy M. Yardley
- Computer ScienceIEEE Transactions on Parallel and Distributed…
- 1 June 2009
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.
The UltraSAN Modeling Environment