Logo des Repositoriums
 
Konferenzbeitrag

Probabilistic confidentiality properties based on indistinguishability

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2005

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Santen, Thomas (2005): Probabilistic confidentiality properties based on indistinguishability. Sicherheit 2005, Sicherheit – Schutz und Zuverlässigkeit. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-391-1. pp. 113-124. Regular Research Papers. Regensburg. 5.-8. April 2005

Schlagwörter

Zitierform

DOI

Tags