Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


SICHERHEIT 2005, Sicherheit - Schutz und Zuverlässigkeit, Beiträge der 2. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 5.-8. April 2005 in Regensburg. GI 2005 P-62, 113-124 (2005).

GI, Gesellschaft für Informatik, Bonn
2005


Editors

Hannes Federrath (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Probabilistic confidentiality properties based on indistinguishability

T. Santen

Abstract


This paper motivates three confidentiality properties based on the notion of indistinguishable behavior induced by adversary observations of nondeterministic and probabilistic systems. Concealed behavior is a possibilistic property, whereas ensured entropy and bounded risk are probabilistic properties. In contrast to noninterferencelike information flow properties, these properties do not primarily aim at restricting information flow, but on keeping the differences between indistinguishable behavior confidential. To support the probabilistic definitions, the concept of the probability of a trace given an observation is clarified for systems permitting external, nondeterministic, and probabilistic choice.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-391-1


Last changed 24.01.2012 21:48:52