Communicating sequential processes
Communicating sequential processes
On the meaning of safety and security
The Computer Journal - Special issue on safety and security parallel computation
A classical mind
Safeware: system safety and computers
Safeware: system safety and computers
A lattice model of secure information flow
Communications of the ACM
Safe and Secure Computing Systems
Safe and Secure Computing Systems
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
CSP and determinism in security modelling
SP '95 Proceedings of the 1995 IEEE Symposium on Security and Privacy
Disentangling the relations between safety and security
AIC'09 Proceedings of the 9th WSEAS international conference on Applied informatics and communications
Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |
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.