Probabilistic information flow security in dynamic context

MaRDI QIDQ3420574zbMATH OpenFDO

Authors Bao-Hua Zhao, Bo Chen, Chao Lu

Publication date 2 February 2007

zbMATH Keywords

persistent probabilistic bisimulation nondeducibilityprobabilistic security process algebra

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1863164
• A proof system for information flow security
• scientific article; zbMATH DE number 1759625
• scientific article; zbMATH DE number 2086504
• Information flow security and recursive systems.

Cited in

(9)

• Preservation of probabilistic information flow under refinement
• Transforming processes to check and ensure information flow security
• A proof system for information flow security
• Decidability of Parameterized Probabilistic Information Flow
• scientific article; zbMATH DE number 1759625 (Why is no real title available?)
• A monadic analysis of information flow security with mutable state
• scientific article; zbMATH DE number 2086504 (Why is no real title available?)
• scientific article; zbMATH DE number 1863164 (Why is no real title available?)
• Information flow security and recursive systems.

This page was built for publication: Probabilistic information flow security in dynamic context

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