DocumentCode
2405932
Title
Safety through security
Author
Simpson, Andrew ; Woodcock, Jim ; Davies, Jim
Author_Institution
Comput. Lab., Oxford Univ., UK
fYear
1998
fDate
16-18 Apr 1998
Firstpage
18
Lastpage
24
Abstract
This paper illustrates that the concept of noninterference, used in theories of security, may also be used to reason about safety. It presents a technique for modelling safety properties in terms of communicating processes, and develops a practical theory of system protection from failures. A simple example is presented to illustrate the application of this technique to different classes of safety property
Keywords
communicating sequential processes; security of data; system recovery; CSP; Communicating Sequential Processes; communicating processes; noninterference; safety; safety property; system protection; theory of protection; History; Information security; Laboratories; Protection; Road safety; Testing; Waste materials;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location
Ise-Shima
Print_ISBN
0-8186-8439-9
Type
conf
DOI
10.1109/IWSSD.1998.667915
Filename
667915
Link To Document