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.
Author(s): Bryans JW, Koutny M, Mazaré L, Ryan PYA
Publication type: Article
Publication status: Published
Journal: International Journal of Information Security
ISSN (print): 1615-5262
ISSN (electronic): 1615-5270
Altmetrics provided by Altmetric