Article ID Journal Published Year Pages File Type
426599 Information and Computation 2008 37 Pages PDF
Abstract

Information flow properties, which describe confidentiality requirements, are not generally preserved under behavior refinement. This article describes a formal framework for refinement relations between nondeterministic probabilistic processes that capture sufficient conditions to preserve information flow properties. In particular, it uses information-theoretic concepts to investigate the refinement of a probabilistic, entropy-based information flow property. The refinement relation considers the abstract and concrete models as views on the same stochastic process. Probabilistic CSP provides the semantic basis for this investigation.

Related Topics
Physical Sciences and Engineering Computer Science Computational Theory and Mathematics