Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

A Process-algebraic Approach for the Analysis of Probabilistic Noninterference 1

Summary: A Process-algebraic Approach for the
Analysis of Probabilistic Noninterference 1
Alessandro Aldini 2 z Mario Bravetti y Roberto Gorrieri y
z Istituto di Scienze e Tecnologie dell'Informazione, Universita di Urbino,
Piazza della Repubblica 13, 61029 Urbino, Italy
tel. (fax): +39-0722-4475, e-mail: aldini@sti.uniurb.it
y Dipartimento di Scienze dell'Informazione, Universita di Bologna, Italy
We de ne several security properties for the analysis of probabilistic
noninterference as a conservative extension of a classical, nondeterminis-
tic, process-algebraic approach to information ow theory. We show that
probabilistic covert channels (that are not observable in the nondetermin-
istic setting) may be revealed through our approach and that probabilistic
information can be exploited to give an estimate of the amount of con -
dential information owing to unauthorized users. Finally, we present a
case study showing that the expressiveness of the calculus we adopt makes
it possible to model and analyze real concurrent systems.
1 Introduction
The analysis of information ow among di erent components of a concurrent
computer system is a well established approach used for preventing unautho-


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


Collections: Computer Technologies and Information Sciences