The University of Southampton
University of Southampton Institutional Repository

Security Policies as Membranes in Systems for Global Computing

Gorla, D., Hennessy, M. and V. Sassone, None (2005) Security Policies as Membranes in Systems for Global Computing At Foundations of Global Ubiquitous Computing, FGUC 2004.. , pp. 23-42.

Record type: Conference or Workshop Item (Paper)


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.

PDF membFGUCoff.pdf - Other
Download (355kB)

More information

Published date: 2005
Venue - Dates: Foundations of Global Ubiquitous Computing, FGUC 2004., 2005-01-01
Keywords: global ubiquitous computing, code migration, access control, security policies, types
Organisations: Web & Internet Science


Local EPrints ID: 262301
ISBN: doi:10.1016/j.entcs.2005.05.003
PURE UUID: 33a10a0c-c57b-4172-9ace-a1aa005be007

Catalogue record

Date deposited: 11 Apr 2006
Last modified: 18 Jul 2017 08:52

Export record


Author: D. Gorla
Author: M. Hennessy
Author: None V. Sassone

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.