Toggle Main Menu Toggle Search

Open Access padlockePrints

Opacity generalised to transition systems

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


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Recently, opacity has proved 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 literature on information flow. In particular, we establish links between opacity and the information flow concepts of anonymity and 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. © 2008 Springer-Verlag.

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: International Journal of Information Security

Year: 2008

Volume: 7

Issue: 6

Pages: 421-435

ISSN (print): 1615-5262

ISSN (electronic): 1615-5270

Publisher: Springer


DOI: 10.1007/s10207-008-0058-x


Altmetrics provided by Altmetric


Find at Newcastle University icon    Link to this publication