Information Theory and Security: Quantitative Information Flow

DOI10.1007/978-3-642-13678-8_3zbMath1189.68059OpenAlexW1547486877MaRDI QIDQ3575030

Pasquale Malacaria, Jonathan Heusser

Publication date: 6 July 2010

Published in: Formal Methods for Quantitative Aspects of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13678-8_3

Mathematics Subject Classification ID

Cryptography (94A60) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (7)

Not all bugs are created equal, but robust reachability can tell the difference ⋮ Automation of Quantitative Information-Flow Analysis ⋮ Min-entropy as a resource ⋮ Unnamed Item ⋮ Information Theory and Security: Quantitative Information Flow ⋮ Algebraic foundations for quantitative information flow ⋮ Abstractions of non-interference security: probabilistic versus possibilistic

Uses Software

• CBMC

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A Mathematical Theory of Communication
• Anonymity protocols as noisy channels
• Quantitative Notions of Leakage for One-try Attacks
• Quantitative Information Flow, Relations and Polymorphic Types
• Assessing security threats of looping constructs
• Statistical Measurement of Information Leakage
• Information Theory and Security: Quantitative Information Flow
• On the Foundations of Quantitative Information Flow
• A new outlook on Shannon's information measures
• A lattice model of secure information flow
• Tools and Algorithms for the Construction and Analysis of Systems
• Entropy and semivaluations on semilattices
• The lattice theory of information
• Static Analysis

This page was built for publication: Information Theory and Security: Quantitative Information Flow