Opacity generalised to transition systems

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

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding

    45 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
    Title of host publicationFormal Aspects in Security and Trust
    EditorsTheo Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider
    Place of PublicationBerlin
    PublisherSpringer Verlag
    Pages81-95
    Number of pages15
    Volume3866 LNCS
    ISBN (Electronic)978-3-540-32629-8
    ISBN (Print)978-3-540-32628-1
    DOIs
    Publication statusPublished - 2006
    EventInternational Workshop on Formal Aspects in Security and Trust - Newcastle upon Tyne, United Kingdom
    Duration: 18 Jul 200519 Jul 2005
    Conference number: 3
    http://www.iit.cnr.it/FAST2005/

    Publication series

    NameLecture Notes in Computer Science (LNCS)
    PublisherSpringer
    Volume3866

    Workshop

    WorkshopInternational Workshop on Formal Aspects in Security and Trust
    Abbreviated titleFAST
    CountryUnited Kingdom
    CityNewcastle upon Tyne
    Period18/07/0519/07/05
    Internet address

    Keywords

    • opacity
    • non-deducibility
    • anonymity
    • non-inference
    • Petri nets
    • observable behaviour
    • labelled transition systems

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

  • Cite this

    Bryans, J. W., Koutny, M., Mazaro, L., & Ryan, P. Y. A. (2006). Opacity generalised to transition systems. In T. Dimitrakos, F. Martinelli, P. Y. A. Ryan, & S. Schneider (Eds.), Formal Aspects in Security and Trust (Vol. 3866 LNCS, pp. 81-95). (Lecture Notes in Computer Science (LNCS); Vol. 3866). Berlin: Springer Verlag. https://doi.org/10.1007/11679219_7