Gorla, Daniele and Hennessy, Matthew and Sassone, Vladimiro - Security Policies as Membranes in Systems for Global Computing

lmcs:2262 - Logical Methods in Computer Science, December 20, 2005, Volume 1, Issue 3
Security Policies as Membranes in Systems for Global Computing

Authors: Gorla, Daniele and Hennessy, Matthew and Sassone, Vladimiro

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.


Source : oai:arXiv.org:cs/0506061
DOI : 10.2168/LMCS-1(3:2)2005
Volume: Volume 1, Issue 3
Published on: December 20, 2005
Submitted on: February 7, 2005
Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science,D.2.4,D.3.1,F.3.2,F.3.3,F.4.3


Share

Consultation statistics

This page has been seen 87 times.
This article's PDF has been downloaded 75 times.