Title :
Safety through security
Author :
Simpson, Andrew ; Woodcock, Jim ; Davies, Jim
Author_Institution :
Comput. Lab., Oxford Univ., UK
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;
Conference_Titel :
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Ise-Shima
Print_ISBN :
0-8186-8439-9
DOI :
10.1109/IWSSD.1998.667915
