Title :
Detection of Security and Dependability Threats: A Belief Based Reasoning Approach
Author :
Lorenzoli, Davide ; Spanoudakis, George
Author_Institution :
Dept. of Comput., City Univ. London, London, UK
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.
Keywords :
belief networks; program verification; security of data; system monitoring; EVEREST monitoring framework; S&D threat; belief based-reasoning approach; belief graph; detect potential violation; event resoning toolkit; proactive monitoring approach; security detection; security-and-dependability threat; verification measure; Condition monitoring; Event detection; Information security; Mechanical factors; Resilience; Runtime; Software measurement; Software systems; Uncertainty; Web services; belief based reasoning; runtime monitoring; security and dependability;
Conference_Titel :
Emerging Security Information, Systems and Technologies, 2009. SECURWARE '09. Third International Conference on
Conference_Location :
Athens, Glyfada
Print_ISBN :
978-0-7695-3668-2
DOI :
10.1109/SECURWARE.2009.55
