A comparison of non-interference and non-deducibility using CSP

摘要

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.