Browse by author
Lookup NU author(s): Professor Peter Ryan, Thea Peacock
In [1], [2], [3] Bryans et al define a security property known as opacity. In this paper, we investigate possible relationships between opacity and several existing definitions for information flow, namely noninterference [8], [9], non-inference [15], non-deducibility [20] and nonleakage [21]. We show that non-interference implies opacity, and that non-inference is equivalent to opacity. We also show that the remaining two properties can be cast directly as opacity. Here, we refer to suitably defined forms of opacity. This work indicates the potential flexibility of opacity, and establishes its distinct characteristics.
Author(s): Ryan PYA, Peacock T
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2006
Pages: 16
Print publication date: 01/04/2006
Source Publication Date: April 2006
Report Number: 958
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/958.pdf
