A Quantitative Approach to Noninterference for Probabilistic Systems

• 1 August 2004
• journal article
• Published by Elsevier in Electronic Notes in Theoretical Computer Science
• Vol. 99, 155-182
• https://doi.org/10.1016/j.entcs.2004.02.007

Abstract

Keywords

• PROBABILISTIC SYSTEMS
• PROCESS ALGEBRA
• PROBABILISTIC NONINTERFERENCE
• SIMILARITY RELATION
• QUANTITATIVE APPROACH
• WEAK BISIMULATION
• PROBABILITY DISTRIBUTION
• LINEAR SPACE
• LINEAR TRANSFORMATION
• MATHEMATICAL MODEL
• PROBABILISTIC MODEL
• LINEAR OPERATOR