none2noopenAldini, Alessandro; DI PIERRO, A.Aldini, Alessandro; DI PIERRO, A

A. Aldini

DI PIERRO, ALESSANDRA

English

ALDINI, ALESSANDRO

DI PIERRO A.

Archivio istituzionale della ricerca - Università di Urbino

Estimating the Maximum Information Leakage

Preventing improper information leaks is a greatest challenge of the
modern society. In this paper we present a technique for measuring the
ability of several families of adversaries to set up a covert channel.
Our approach relies on a noninterference formulation of security which
can be naturally expressed by semantic models of program execution.
In our analysis the most powerful adversary is measured via a notion
of approximate process equivalence. Even if finding the most powerful
adversary is in general impractical, we show that this requires only a
finite number of checks for a particular family of adversaries which
are related to a probabilistic information flow property

Catalogo dei prodotti della ricerca

https://ora.uniurb.it/bitstream/11576/1882877/1/JIS2008.pdf

Estimating the Maximum Information Leakage

Abstract

Similar works

Full text

Available Versions

Archivio istituzionale della ricerca - Università di Urbino

Catalogo dei prodotti della ricerca