Detection of Security and Dependability Threats: A Belief Based Reasoning Approach

  • Authors:
  • Davide Lorenzoli;George Spanoudakis

  • Affiliations:
  • -;-

  • Venue:
  • SECURWARE '09 Proceedings of the 2009 Third International Conference on Emerging Security Information, Systems and Technologies
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

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 ““threats”, and discuss the results of an initial evaluation of it.