Specification of security in distributed computing systems

Master's Thesis from the year 1987 in the subject Computer Science - IT-Security, Oxford University (Programming Research Group), course: MSc in Computation, language: English, abstract: A specification of security in distributed computing systems is discussed in this work. It is based on J.M. Rushby's criterion of Secure Isolation, but is generalised here to cover non-deterministic processes.The specification has been developed in two different notations: Communicating Sequential Processes (CSP) and the specification language Z. The specification is applied to and developed with a number of simple examples. Differences between the two approaches are discussed and possible methods of relaxing the specification to allow information flows are discussed.