The Library
An approach to synthesize safe systems
Tools
Jhumka, Arshad, Freiling, F. C., Fetzer, C. and Suri, N. (2006) An approach to synthesize safe systems. International Journal of Security and Networks, Volume 1 (Number 2). pp. 62-74. ISSN 1747-8405.
PDF
an_approach_to_synthesise_safe_systems.pdf - Accepted Version Embargoed item. Restricted access to Repository staff only - Requires a PDF viewer. Download (206Kb) |
Official URL: http://dx.doi.org/10.1504/IJSN.2006.010824
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, i.e., 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 sys- tems. 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.
Item Type: | Journal Article | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Journal or Publication Title: | International Journal of Security and Networks | ||||
Publisher: | Inderscience Publishers | ||||
ISSN: | 1747-8405 | ||||
Official Date: | 2006 | ||||
Dates: |
|
||||
Volume: | Volume 1 | ||||
Number: | Number 2 | ||||
Page Range: | pp. 62-74 | ||||
Status: | Peer Reviewed | ||||
Publication Status: | Published | ||||
Access rights to Published version: | Restricted or Subscription Access | ||||
Date of first compliant deposit: | 28 July 2016 | ||||
Conference Paper Type: | Paper | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |