Title :
Some laws of non-interference [CSP algebra]
Author :
Graham-Cumming, John
Author_Institution :
Oxford Univ. Comput. Lab., Oxford, UK
Abstract :
The author defines non-interference in the algebra of CSP; that definition leads to simple proof rules for non-interference concerning, amongst other things, composition of systems exhibiting non-interference. The author works through a case study of a multi-level secure system to illustrate those laws
Keywords :
communicating sequential processes; security of data; theorem proving; algebra of CSP; communicating sequential process; composition of systems; multi-level secure system; noninterference laws; proof rules; Algebra; Computational modeling; Design methodology; Interference; Laboratories; Multilevel systems; Security;
Conference_Titel :
Computer Security Foundations Workshop V, 1992. Proceedings.
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2850-2
DOI :
10.1109/CSFW.1992.236790
