Quantifying Information Leakage in Process Calculi

DOI10.1007/11787006_11MaRDI QIDQ3591447zbMATH OpenOpenAlexFDO

Authors Michele Boreale

Publication date 11 September 2007

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11787006_11

zbMATH Keywords

information leakageinformation theoryprocess calculisecrecy

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Cryptography (94A60) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Quantifying information leakage in process calculi
• Quantifying information leakage of randomized protocols
• Quantifying information leakage of randomized protocols
• Computing the leakage of information-hiding systems
• Measuring the Speed of Information Leakage in Mobile Processes

Cited in

(18)

• Quantifying information leakage in process calculi
• Quantifying information leakage of randomized protocols
• On the prevention of fraud and privacy exposure in process information flow
• Quantified interference for a while language
• Quantifying information leakage of randomized protocols
• Information leakage of non-terminating processes
• A semiring-based trace semantics for processes with applications to information leakage analysis
• Quantifying Vulnerability of Secret Generation Using Hyper-Distributions
• How to Compute in the Presence of Leakage
• Computing the leakage of information-hiding systems
• Measuring the Speed of Information Leakage in Mobile Processes
• Min-entropy as a resource
• Value-passing CCS with noisy channels
• Quantification of positive and negative attacker's information
• An Operational Approach to Information Leakage
• Information flow testing
• A semiring-based trace semantics for processes with applications to information leakage analysis
• An interval-based abstraction for quantifying information flow

This page was built for publication: Quantifying Information Leakage in Process Calculi

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