Title :
A comparison of non-interference and non-deducibility using CSP
Author_Institution :
Hewlett-Packard Labs., Bristol, UK
Abstract :
The paper studies the relationship between the flow properties non-deducibility (ND) and non-interference (NI) in a uniform framework: CSP. It proposes a further flow property which eliminates certain undesirable features of NI and ND. It considers the preservation of these properties under composition. Finally, it informally explores the meaning of non-deducibility on strategies, identifying system properties which make a strategy attack possible
Keywords :
formal languages; security of data; CSP; flow properties; nondeducibility; noninterference; security properties; strategy attack; Feedback; Interference; Laboratories; Neodymium; Random variables;
Conference_Titel :
Computer Security Foundations Workshop IV, 1991. Proceedings
Conference_Location :
Franconia, NH
Print_ISBN :
0-8186-2215-6
DOI :
10.1109/CSFW.1991.151568
