DocumentCode
2137839
Title
On the refinement of non-interference
Author
Graham-Cumming, John ; Sanders, J.W.
Author_Institution
Oxford Univ. Comput. Lab., UK
fYear
1991
fDate
18-20 Jun 1991
Firstpage
35
Lastpage
42
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location
Franconia, NH
Print_ISBN
0-8186-2215-6
Type
conf
DOI
10.1109/CSFW.1991.151567
Filename
151567
Link To Document