Quantifying leakage in the presence of unreliable sources of information

DOI10.1016/J.JCSS.2017.03.013MaRDI QIDQ2361344zbMATH OpenOpenAlexFDO

Authors Sardaouna Hamadou, Catuscia Palamidessi, Vladimiro Sassone

Publication date 30 June 2017

Published in Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL https://eprints.soton.ac.uk/403793/1/belief.pdf

zbMATH Keywords

accuracybelief combinationinformation hidingprobabilistic modelsquantitative information flowuncertainty

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30)

Recommendations

• On the Foundations of Quantitative Information Flow
• Measuring information integrity using belief min-entropy
• Quantitative notions of leakage for one-try attacks
• Formal Analysis of Information Flow Using Min-Entropy and Belief Min-Entropy
• Recent developments in quantitative information flow (invited tutorial)

Cites work

• Abstract channels and their robust information-leakage ordering
• Anonymity protocols as noisy channels
• Assessing security threats of looping constructs
• Belief functions: The disjunctive rule of combination and the generalized Bayesian theorem
• Classic works on the Dempster-Shafer theory of belief functions
• Computing Information Flow Using Symbolic Model-Checking
• CONCUR 2005 – Concurrency Theory
• CSP and anonymity
• Decision making in the TBM: the necessity of the pignistic transformation
• Distances in evidence theory: comprehensive survey and generalizations
• Elements of Information Theory
• scientific article; zbMATH DE number 1690176 (Why is no real title available?)
• scientific article; zbMATH DE number 107482 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 1487488 (Why is no real title available?)
• On the Dempster-Shafer framework and new combination rules
• On the Foundations of Quantitative Information Flow
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Probable innocence revisited
• Quantification of integrity
• Quantitative Information Flow, Relations and Polymorphic Types
• Quantitative notions of leakage for one-try attacks
• Statistical measurement of information leakage
• The dining cryptographers problem: Unconditional sender and recipient untraceability

Cited in

(8)

• Quantifying information leakage in process calculi
• Probabilistic divide \& congruence: branching bisimilarity
• Information leakage due to operative errors in card-based protocols
• Does My Device Leak Information? An a priori Statistical Power Analysis of Leakage Detection Tests
• How to Compute in the Presence of Leakage
• Information leakage of a randomly selected boolean function
• Measuring information integrity using belief min-entropy
• An Operational Approach to Information Leakage

Describes a project that uses

Uses Software

• pyuds

This page was built for publication: Quantifying leakage in the presence of unreliable sources of information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2361344)