An approach to synthesise safe systems

Jhumka, A. and Freiling, F. and Fetzer, C. and Suri, Neeraj (2006) An approach to synthesise safe systems. International Journal of Security and Networks, 1 (1-2). pp. 62-74. ISSN 1747-8405

Full text not available from this repository.

Abstract

Detectors are system components that identify whether the system is in a particular state. Detectors can be used to ensure arbitrary safety properties for systems, that is, they can be used to prevent the system from reaching a ‘bad’ state. Detectors have found application in the area of fault-tolerant systems but can also be used in the area of security. We present here a theory of detectors that identifies the class of perfect detectors and explains their importance for fault-tolerant systems. Based on the theory, we develop an algorithm that automatically transforms a fault-intolerant program into a fault-tolerant program that satisfies its safety property even in the presence of faults. We further show how to use some of the results for adding security properties to a given insecure program. We provide examples to show the applicability of our approach. © 2006 Inderscience Enterprises Ltd.

Item Type:
Journal Article
Journal or Publication Title:
International Journal of Security and Networks
Uncontrolled Keywords:
/dk/atira/pure/subjectarea/asjc/1700/1705
Subjects:
?? formal methodsprogram transformationreliabilitysafe systemssecuritycomputer networks and communicationselectrical and electronic engineeringsafety, risk, reliability and quality ??
ID Code:
137611
Deposited By:
Deposited On:
08 Oct 2019 10:30
Refereed?:
Yes
Published?:
Published
Last Modified:
15 Jul 2024 19:57