We re-visit the notion of Approximate Confinement in terms of information theory. This notion formalises probabilistic non-interference in terms of process indistinguishability. We show that it corresponds to the notion of relative entropy, aka Kullback-Leibler divergence.
Approximation and relative entropy
DI PIERRO, ALESSANDRA
2012-01-01
Abstract
We re-visit the notion of Approximate Confinement in terms of information theory. This notion formalises probabilistic non-interference in terms of process indistinguishability. We show that it corresponds to the notion of relative entropy, aka Kullback-Leibler divergence.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
