Quantifying Information Leakage in Process Calculi

DOI10.1007/11787006_11zbMath1133.68382OpenAlexW1489154805MaRDI QIDQ3591447

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 theoryprocess calculiinformation leakagesecrecy

Mathematics Subject Classification ID

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

Related Items (4)

Min-entropy as a resource ⋮ Value-passing CCS with noisy channels ⋮ Quantifying Vulnerability of Secret Generation Using Hyper-Distributions ⋮ Quantifying information leakage in process calculi

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