Probabilistic Analysis of Operational Security for Network Systems
Survivability is the ability of system to continue operating in the presence of failures or malicious attacks . We present an original method for performing probabilistic analysis of survivability of network systems. We can simulate failures and intrusion events in our method and then observe the effects of the injected events. Our model is based on Markov Decision Processes which are generalization of Markov Chains and provides the analysis of probabilistic measures for network systems, such us: probability that a service that has been issued will be finished or the expected time it takes a service to finish. We illustrate the idea of our technigues by a simply example.
KeywordsMarkov Decision Processes Computation Tree Logic Bayesian network
Unable to display preview. Download preview PDF.
- Altman E., “Constraint Markov Decision Processes”, Champan and Hall, 1998Google Scholar
- Clarke E. M., Grumberg O., Peled D, “Model checking”, MIT Press, 2000Google Scholar
- Farmer D., Spafford E., “The cops security checker system”, Proceedings Summer Usenix Conference, 1995Google Scholar
- Koszelew J., “Some methods for verification of probabilistic programs interpreted in finite structures”, Computer information systems and industrial management applications: CISIM'03. WSFiZ, pp. 140–147, 2003Google Scholar
- Pearl J., “Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference”, Morgan Kaufmann, 1998Google Scholar