An approach to synthesise safe systems

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

An approach to synthesise safe systems. / Jhumka, A.; Freiling, F.; Fetzer, C. et al.
In: International Journal of Security and Networks, Vol. 1, No. 1-2, 2006, p. 62-74.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Jhumka, A, Freiling, F, Fetzer, C & Suri, N 2006, 'An approach to synthesise safe systems', International Journal of Security and Networks, vol. 1, no. 1-2, pp. 62-74. https://doi.org/10.1504/IJSN.2006.010824

APA

Jhumka, A., Freiling, F., Fetzer, C., & Suri, N. (2006). An approach to synthesise safe systems. International Journal of Security and Networks, 1(1-2), 62-74. https://doi.org/10.1504/IJSN.2006.010824

Vancouver

Jhumka A, Freiling F, Fetzer C, Suri N. An approach to synthesise safe systems. International Journal of Security and Networks. 2006;1(1-2):62-74. doi: 10.1504/IJSN.2006.010824

Author

Jhumka, A. ; Freiling, F. ; Fetzer, C. et al. / An approach to synthesise safe systems. In: International Journal of Security and Networks. 2006 ; Vol. 1, No. 1-2. pp. 62-74.

Bibtex

@article{41da6c83c4a14155a678fb3f0dead478,

title = "An approach to synthesise safe systems",

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 {\textquoteleft}bad{\textquoteright} 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. {\textcopyright} 2006 Inderscience Enterprises Ltd.",

keywords = "formal methods, program transformation, reliability, safe systems, security",

author = "A. Jhumka and F. Freiling and C. Fetzer and Neeraj Suri",

year = "2006",

doi = "10.1504/IJSN.2006.010824",

language = "English",

volume = "1",

pages = "62--74",

journal = "International Journal of Security and Networks",

issn = "1747-8405",

publisher = "Inderscience Enterprises Ltd.",

number = "1-2",

}

RIS

TY - JOUR

T1 - An approach to synthesise safe systems

AU - Jhumka, A.

AU - Freiling, F.

AU - Fetzer, C.

AU - Suri, Neeraj

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

KW - formal methods

KW - program transformation

KW - reliability

KW - safe systems

KW - security

U2 - 10.1504/IJSN.2006.010824

DO - 10.1504/IJSN.2006.010824

M3 - Journal article

VL - 1

SP - 62

EP - 74

JO - International Journal of Security and Networks

JF - International Journal of Security and Networks

SN - 1747-8405

IS - 1-2

ER -

Research

Associated organisational unit

Links

Text available via DOI:

Keywords