Toggle Main Menu Toggle Search

Open Access padlockePrints

Opacity Generalised to Transition Systems

Lookup NU author(s): Dr Jeremy Bryans, Professor Maciej KoutnyORCiD, Professor Peter Ryan



Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of opacity to the model of labelled transition systems and generalise opacity in order to better represent concepts from the work on information flow. In particular, we establish links between opacity and the information flow concepts of anonymity and non-interference such as non-inference. We also investigate ways of verifying opacity when working with Petri nets. Our work is illustrated by two examples, one describing anonymity in a commercial context, and the other modelling requirements upon a simple voting system.

Publication metadata

Author(s): Bryans JW, Koutny M, Mazare L, Ryan PYA

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2004

Pages: 22

Print publication date: 01/11/2004

Source Publication Date: November 2004

Report Number: 868

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne