• Login
    JavaScript is disabled for your browser. Some features of this site may not work without it.
    Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow 
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Theoretical Computer Science Group
    • Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
    •   QMRO Home
    • School of Electronic Engineering and Computer Science
    • Theoretical Computer Science Group
    • Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow
    ‌
    ‌

    Browse

    All of QMROCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects
    ‌
    ‌

    Administrators only

    Login
    ‌
    ‌

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    Algebraic Foundations for Information Theoretical, Probabilistic and Guessability measures of Information Flow

    View/Open
    arXiv (241.1Kb)
    Metadata
    Show full item record
    Abstract
    Several mathematical ideas have been investigated for Quantitative Information Flow. Information theory, probability, guessability are the main ideas in most proposals. They aim to quantify how much information is leaked, how likely is to guess the secret and how long does it take to guess the secret respectively. In this paper, we show how the Lattice of Information provides a valuable foundation for all these approaches; not only it provides an elegant algebraic framework for the ideas, but also to investigate their relationship. In particular we will use this lattice to prove some results establishing order relation correspondences between the different quantitative approaches. The implications of these results w.r.t. recent work in the community is also investigated. While this work concentrates on the foundational importance of the Lattice of Information its practical relevance has been recently proven, notably with the quantitative analysis of Linux kernel vulnerabilities. Overall we believe these works set the case for establishing the Lattice of Information as one of the main reference structure for Quantitative Information Flow.
    Authors
    Malacaria, P
    URI
    http://qmro.qmul.ac.uk/xmlui/handle/123456789/13605
    Collections
    • Theoretical Computer Science Group [25]
    Licence information
    http://arxiv.org/abs/1101.3453
    Twitter iconFollow QMUL on Twitter
    Twitter iconFollow QM Research
    Online on twitter
    Facebook iconLike us on Facebook
    • Site Map
    • Privacy and cookies
    • Disclaimer
    • Accessibility
    • Contacts
    • Intranet
    • Current students

    Modern Slavery Statement

    Queen Mary University of London
    Mile End Road
    London E1 4NS
    Tel: +44 (0)20 7882 5555

    © Queen Mary University of London.