Towards quantitative analysis of opacity

J.W. Bryans, M. Koutny, C. Mu

    Research output: Chapter in Book/Report/Conference proceedingChapter

    4 Citations (Scopus)

    Abstract

    Opacity is a general approach for describing and unifying security properties expressed as predicates. A predicate is opaque if an observer of the system is unable to determine the satisfaction of the predicate in a given run of the system. The meaning of opacity is straightforward when considering the standard (qualitative) operational semantics, but there are a number of possible interpretations in a context where quantitative information about system evolutions is available. We propose four variants of quantitative opacity defined for probabilistic labelled transition systems, with each variant capturing a different aspect of quantifying the opacity of a predicate. Moreover, we present results showing how these four properties can be checked or approximated for specific classes of probabilistic labelled transition systems, observation functions, and system predicates.
    Original languageEnglish
    Title of host publicationTrustworthy Global Computing
    Subtitle of host publication7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, Revised Selected Papers (Lecture Notes in Computer Science)
    EditorsCatuscia Palamidessi, Mark D. Ryan
    Place of PublicationHeidelberg
    PublisherSpringer
    Pages145-163
    Number of pages19
    Volume8191 LNCS
    ISBN (Electronic)9783642411571
    ISBN (Print)9783642411564
    DOIs
    Publication statusPublished - 2013
    Event7th International Symposium on Trustworthy Global Computing 2012 - Newcastle-upon-Tyne, United Kingdom
    Duration: 7 Sep 20128 Sep 2012
    Conference number: 7
    https://www.cs.bham.ac.uk/~mdr/research/projects/12-TGC/

    Conference

    Conference7th International Symposium on Trustworthy Global Computing 2012
    Abbreviated titleTGC 2012
    CountryUnited Kingdom
    CityNewcastle-upon-Tyne
    Period7/09/128/09/12
    Internet address

    Keywords

    • Probabilistic opacity
    • Probabilistic labelled transition systems
    • Observations

    Fingerprint Dive into the research topics of 'Towards quantitative analysis of opacity'. Together they form a unique fingerprint.

  • Cite this

    Bryans, J. W., Koutny, M., & Mu, C. (2013). Towards quantitative analysis of opacity. In C. Palamidessi, & M. D. Ryan (Eds.), Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, Revised Selected Papers (Lecture Notes in Computer Science) (Vol. 8191 LNCS, pp. 145-163). Heidelberg: Springer. https://doi.org/10.1007/978-3-642-41157-1_10