Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Classification of Security Properties in a Linda-like Process Algebra

Summary: Classification of Security Properties
in a Linda-like Process Algebra
Alessandro Aldini
University of Urbino "Carlo Bo"
Istituto di Scienze e Tecnologie dell'Informazione, Urbino, Italy
We provide a classification of noninterference-based security properties for the
formal analysis of secure information flow in concurrent and distributed systems.
This is done in the setting of a process algebra modeling some Linda coordination
primitives (asynchronous communication and read operation). For this purpose, we
define relaxed notions of behavioural equivalence that take into account the obser-
vational power of the external observer. The resulting taxonomy is compared with
analogous security definitions based on synchronous communication models, thus
emphasizing the influence of the Linda coordination model upon the expressivity of
the security properties, by giving a new intuition to the relative merits.
1 Introduction
New networking technologies, such as mobile and portable devices, support an
increasing development of concurrent and distributed applications that adapt
themselves to the dynamic nature of the environment. Such new classes of
applications require a careful design process. In particular, formal models and


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


Collections: Computer Technologies and Information Sciences