Preservation of probabilistic information flow under refinement

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 informat...

Full description

Saved in:
Bibliographic Details
Published in:Information and computation 2008-02, Vol.206 (2), p.213-249
Main Author: Santen, Thomas
Format: Article
Language:English
Subjects:
Applied sciences
Computer science
control theory
systems
Confidentiality
CSP
Exact sciences and technology
Information flow property
Information theory
Language theory and syntactical analysis
Miscellaneous
Process calculus
Refinement
Security
Theoretical computing
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0890-5401
1090-2651
DOI:10.1016/j.ic.2007.07.008