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

fYear

2009

fDate

18-23 June 2009

Firstpage

312

Lastpage

320

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/SECURWARE.2009.55

Filename

5210995