| |
VOLUME 1, ISSUE 3, PAPER 2
|
Security Policies as Membranes in Systems for Global Computing
|
©Daniele Gorla, Dip. Informatica - Univ. di Roma
©Matthew Hennessy, Dept. Informatics - Univ. Sussex
©Vladimiro Sassone, Dept. Informatics - Univ. Sussex
|
Abstract
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.
|
Publication date: December 20, 2005
Full Text: PDF | PostScript
DOI: 10.2168/LMCS-1(3:2)2005
Hit Counts: 3035 |
 Creative Commons | |
