Opacity generalised to transition systems

Jeremy W. Bryans, Maciej Koutny, Laurent Mazaro, Peter Y.A. Ryan

    Research output: Contribution to journalArticle

    115 Citations (Scopus)

    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 two examples, one describing anonymity in a commercial context, and the other modelling requirements upon a simple voting system.
    Original languageEnglish
    Pages (from-to)421-435
    Number of pages15
    JournalInternational Journal of Information Security
    Volume7
    Issue number6
    Early online date21 May 2008
    DOIs
    Publication statusPublished - Nov 2008

    Keywords

    • Opacity
    • Non-deducibility
    • Anonymity
    • Petri nets
    • Observable behaviour
    • Labelled transition systems
    • Abstract interpretation

    Fingerprint Dive into the research topics of 'Opacity generalised to transition systems'. Together they form a unique fingerprint.

  • Cite this