Computational probabilistic non-interference

DOI10.1007/3-540-45853-0_1MaRDI QIDQ5030175zbMATH OpenOpenAlexFDO

Authors Michael Backes, Birgit Pfitzmann

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

concrete implementationcryptographic primitiveideal systemservice attack

Mathematics Subject Classification ID

Computer security (68M25) Cryptography (94A60)

Recommendations

• Quantifying probabilistic information flow in computational reactive systems
• scientific article; zbMATH DE number 2090701
• Cryptographically-masked flows
• Cryptographically-Masked Flows
• scientific article; zbMATH DE number 1863164

Cites work

• A lattice model of secure information flow
• Foundations of Cryptography
• scientific article; zbMATH DE number 1692935 (Why is no real title available?)
• scientific article; zbMATH DE number 996442 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 48139 (Why is no real title available?)
• scientific article; zbMATH DE number 2090144 (Why is no real title available?)
• Unwinding Possibilistic Security Properties

Cited in

(15)

• Abstractions of non-interference security: probabilistic versus possibilistic
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• Factorization of behavioral integrity
• Nondeterministic admissible interference
• Formalizing probabilistic noninterference
• A General Framework for Nondeterministic, Probabilistic, and Stochastic Noninterference
• Compositional closure for Bayes risk in probabilistic noninterference
• Interference Effects in Computation
• scientific article; zbMATH DE number 1497862 (Why is no real title available?)
• scientific article; zbMATH DE number 2090701 (Why is no real title available?)
• Formal verification of differential privacy for interactive systems (extended abstract)
• Possibilistic information flow control in the presence of encrypted communication
• Quantifying probabilistic information flow in computational reactive systems
• Foundations of Security Analysis and Design II
• DeFi composability as MEV non-interference

This page was built for publication: Computational probabilistic non-interference

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