Decidability of Parameterized Probabilistic Information Flow

DOI10.1007/978-3-540-74510-5_11zbMath1188.68203OpenAlexW1510325301MaRDI QIDQ3499769

Danièle Beauquier, Yury Lifshits, Marie Duflot

Publication date: 3 June 2008

Published in: Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74510-5_11

Mathematics Subject Classification ID

Cryptography (94A60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Decidability of Parameterized Probabilistic Information Flow