Security Policies as Membranes in Systems for Global Computing

We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body and the external environment. More precisely,...

Full description

Saved in:
Bibliographic Details
Published in:Logical methods in computer science 2005-12, Vol.1, Issue 3
Main Authors: Gorla, Daniele, Hennessy, Matthew, Sassone, Vladimiro
Format: Article
Language:English
Subjects:
computer science - logic in computer science
computer science - programming languages
d.2.4
d.3.1
f.3.2
f.3.3
f.4.3
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:We propose a simple global computing framework, whose main concern is code migration. Systems are structured in sites, and each site is divided into two parts: a computing body, and a membrane, which regulates the interactions between the computing body and the external environment. More precisely, membranes are filters which control access to the associated site, and they also rely on the well-established notion of trust between sites. We develop a basic theory to express and enforce security policies via membranes. Initially, these only control the actions incoming agents intend to perform locally. We then adapt the basic theory to encompass more sophisticated policies, where the number of actions an agent wants to perform, and also their order, are considered.
ISSN:1860-5974
1860-5974
DOI:10.2168/LMCS-1(3:2)2005