Detection of Security and Dependability Threats: A Belief Based Reasoning Approach
Lorenzoli, D. & Spanoudakis, G. (2009). Detection of Security and Dependability Threats: A Belief Based Reasoning Approach. In: Falk, R., Goudalo, W., Chen, E. Y. , Savola, R. & Popescu, M. (Eds.), 2009 Third International Conference on Emerging Security Information, Systems and Technologies. 3rd International Conference on Emerging Security Information, Systems and Technologies, 18-23 Jun 2009, Athens, Greece. doi: 10.1109/SECURWARE.2009.55
Abstract
Monitoring the preservation of security and dependability (S&D) properties during the operation of systems at runtime is an important verification measure that can increase system resilience. However it does not always provide sufficient scope for taking control actions against violations as it only detects problems after they occur. In this paper, we describe a proactive monitoring approach that detects potential violations of S&D properties, called ldquothreatsrdquo, and discuss the results of an initial evaluation of it.
| Publication Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | © 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. |
| Publisher Keywords: | belief based reasoning, runtime monitoring, security and dependability |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Departments: | School of Science & Technology > Computer Science |
Download (220kB) | Preview
Export
Downloads
Downloads per month over past year
Metadata
MetadataActions (login required)
Admin Login