Computational Probabilistic Non-interference

DOI10.1007/3-540-45853-0_1zbMath1482.68065OpenAlexW1585861293MaRDI QIDQ5030175

Birgit Pfitzmann, Michael Backes

Publication date: 16 February 2022

Published in: Computer Security — ESORICS 2002 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45853-0_1

zbMATH Keywords

cryptographic primitiveideal systemconcrete implementationservice attack

Mathematics Subject Classification ID

Cryptography (94A60) Computer security (68M25)

Related Items (3)

Formal Verification of Differential Privacy for Interactive Systems (Extended Abstract) ⋮ Abstractions of non-interference security: probabilistic versus possibilistic ⋮ Quantifying Probabilistic Information Flow in Computational Reactive Systems

Cites Work

• A lattice model of secure information flow
• Foundations of Cryptography
• Unwinding Possibilistic Security Properties
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computational Probabilistic Non-interference