Security Policies as Membranes in Systems for Global Computing

Details Security Policies as Membranes in Systems for Global Computing Security Policies as Membranes in Systems for Global Computing

2005-06-14

arxiv.org/abs/cs/0506061v5

LMCS 1 (3:2) 2005

Computer Science

Programming Languages

23 pages; to appear in Logical Methods in Computer Science

Scientific paper

10.2168/LMCS-1(3:2)2005

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.

Affiliated with

Also associated with

No associations

Rating

Security Policies as Membranes in Systems for Global Computing does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Security Policies as Membranes in Systems for Global Computing, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Security Policies as Membranes in Systems for Global Computing will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-224890