Laws of Non-Interference in CSP
John Graham-Cumming · Journal of Computer Security · 1993
Non-interference is defined in the algebra of CSP. Rules for the construction of non-interfering systems by prefixing and parallel composition, as well as external and internal non-deterministic choice are given. Laws for recursion are given and we work through a case study of a multi-level secure system to illustrate the laws.