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:	Book Section
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 Mathematics, Computer Science & Engineering > Computer Science
URI:	https://openaccess.city.ac.uk/id/eprint/626

Preview

PDF Download (220kB) | Preview

Export

Downloads