Information Flow Analysis and Approximate Security

Relatore
Alessandro Aldini - Universita' di Urbino

Data e ora
lunedì 17 dicembre 2007 alle ore 14.30 - aula G

Referente
Alessandra Di Pierro

Referente esterno

Data pubblicazione
15 novembre 2007

Dipartimento
 

Riassunto

Information flow and probabilistic noninterference offer
popular notions of security properties that are sensitive
to the exact execution probabilities of the observable events,
though in practice it is virtually impossible to guarantee that
information flows only along authorized paths.

In this talk we relax the notion of probabilistic noninterference
through an approximate definition of process equivalence, by
means of which it is possible to measure the interference of
several classes of adversaries. For each class, which corresponds
to a specific security property, we also discuss the problem of
finding the most powerful adversary that maximizes the probability
that an external observer reveals an information flow.
ornamento
Inizio pagina