کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
426599 686119 2008 37 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Preservation of probabilistic information flow under refinement
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
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 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.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information and Computation - Volume 206, Issues 2–4, February–April 2008, Pages 213-249