Toggle Main Menu Toggle Search

Open Access padlockePrints

Opacity - Further Insights on an Information Flow Property

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.

Publication metadata

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