Safety through security
Andrew C. Simpson, Jim Woodcock, Jim Davies · International Workshop on Software Specification and Design · 1998
This paper illustrates that the concept of non-interference, 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.