Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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
Abstract
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