Abstrakt. Vi överväger problemet med att definiera informationsläckage i interaktiva system där hemligheter och observerbara kan alternera under beräkningen. Vi visar att det informations-teoretiska tillvägagångssätt som tolkar sådana system som (enkla) bullriga kanaler inte längre är giltigt. Principen kan dock återvinnas om vi betraktar kanaler av ett mer komplicerat slag, som i informationsteorin kallas kanaler med minne och feedback. Vi visar att det finns en fullständig korrespondens mellan interaktiva system och sådana kanaler. Dessutom visar vi att kapaciteten hos de kanaler som är kopplade till sådana system är en kontinuerlig funktion av en pseudometric baserad på Kantorovich metrisk.
Alvim, Andrés och Palamidessi REF studerar läckage och kanalkapacitet i interaktiva system där hemligheter och observerbara kan alternera under beräkningen.
Quantitative Information Flow in Interactive Systems
{'venue': 'JOURNAL OF COMPUTER SECURITY (2011)', 'journal': None, 'mag_field_of_study': ['Computer Science']}