Toggle Main Menu Toggle Search

ePrints

Opacity generalised to transition systems

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

Downloads

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


Abstract

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 an example modelling requirements upon a simple voting system.


Publication metadata

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

Editor(s): Dimitrakos, T., Martinelli, F., Ryan, P.Y.A., Schneider, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Aspects in Security and Trust: 3rd International Workshop on Formal Aspects in Security and Trust

Year of Conference: 2006

Pages: 81-95

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer

URL: http://dx.doi.org/10.1007/11679219_7

DOI: 10.1007/11679219_7

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540326281


Actions

    Link to this publication


Share