Title :
On the refinement of non-interference
Author :
Graham-Cumming, John ; Sanders, J.W.
Author_Institution :
Oxford Univ. Comput. Lab., UK
Abstract :
It is known that functional refinement does not preserve the security properties of a system. The authors propose a trace-based method for specifying the security properties of a system and a method which ensures that this security is preserved under refinement. They include an example to illustrate the use of the definitions and make use of non-interference (as defined in their notation)
Keywords :
formal specification; security of data; formal methods; formal specification; functional refinement; noninterference; security properties; trace-based method; Computer languages; Displays; Functional programming; Information security; Interference; Investments; Laboratories; Multilevel systems; Natural languages; Proposals;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151567
