Diagnostic reasoning based on structure and behavior
Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Artificial Intelligence
Model-based reasoning: troubleshooting
Exploring artificial intelligence
Modeling techniques and algorithms for probabilistic model-based diagnosis and repair
Modeling techniques and algorithms for probabilistic model-based diagnosis and repair
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Efficient enumeration of instantiations in Bayesian networks
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Computational vulnerability analysis for information survivability
Eighteenth national conference on Artificial intelligence
High confidence software for cyber-physical systems
Proceedings of the 2007 workshop on Automating service quality: Held at the International Conference on Automated Software Engineering (ASE)
AWDRAT: a cognitive middleware system for information survivability
IAAI'06 Proceedings of the 18th conference on Innovative applications of artificial intelligence - Volume 2
Challenges for the security analysis of Next Generation Networks
Information Security Tech. Report
Hi-index | 0.00 |
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the survivability of such information systems in the face of attacks is therefore an area of extreme importance to society. This paper presents model-based techniques for the diagnosis of potentially compromised software systems; these techniques can be used to aid the self-diagnosis and recovery from failure of critical software systems. It introduces Information Survivability as a new domain of application for model-baesed diagnosis and it presents new modeling and reasoning techniques relevant to the domain. In particular: 1) We develop techniques for the diagnosis of compromised software systems (previous work on model-base diagnosis has been primarily cconcerned with physical components); 2) We develop methods for dealing with model-based diagnosis as a mixture of symbolic and Bayesian inference; 3) We develop techniques for dealing with common-mode failures; 4) We develop unified representational techniques for reasoning about information attacks, the vulnerabilities and compromises of computational resources, and the observed behavior of computations; 5) We highlght additional information that should be part of the goal of modelbased diagnosis.