Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Probabilistic Information Flow in a Process Algebra

Summary: Probabilistic Information Flow
in a Process Algebra
Alessandro Aldini
Universit`a di Bologna, Dipartimento di Scienze dell'Informazione,
Mura Anteo Zamboni 7, 40127 Bologna, Italy,
Abstract. We present a process algebraic approach for extending to
the probabilistic setting the classical logical information flow analysis
of computer systems. In particular, we employ a calculus for the anal-
ysis of probabilistic systems and a notion of probabilistic bisimulation
in order to define classical security properties, such as nondeterministic
noninterference (NNI) and nondeducibility on compositions (NDC), in
the probabilistic setting. We show how to (i) extend the results known
for the nondeterministic case, (ii) analyse insecure nondeterministic be-
haviors, and (ii) reveal probabilistic covert channels which may be not
observable in the nondeterministic case. Finally, we show that the expres-
siveness of the calculus we adopt makes it possible to model concurrent
systems in order to derive also performance measures.
1 Introduction


Source: Aldini, Alessandro - Dipartimento di Matematica, Fisica e Informatica, Universita’ di Urbino "Carlo Bo"


Collections: Computer Technologies and Information Sciences