Global Types and Network Services

Mobility seems to be a fundamental aspect for global computing, however it gives rise to a lot of relevant security problems. We address the problem of protecting hosts from attacks or misbehavior of mobile processes. We propose to move process abstractions, i.e. process parameterized with respect t...

Full description

Saved in:
Bibliographic Details
Published in:Electronic notes in theoretical computer science 2001-08, Vol.54, p.35-48
Main Authors: Ferrari, G., Moggi, E., Pugliese, R.
Format: Article
Language:English
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:Mobility seems to be a fundamental aspect for global computing, however it gives rise to a lot of relevant security problems. We address the problem of protecting hosts from attacks or misbehavior of mobile processes. We propose to move process abstractions, i.e. process parameterized with respect to the operations having a local meaning, instead of processes ready-to-run or active processes (agents). Moreover, we exploit global values and types to ensure that operations having a local meaning are used only locally. Our approach is general and could be applied to every language/system for programming and coordinating network services that permits remote communications with transmission of code fragments. We illustrate our approach by using the Klaim language, where the network services are codified by means of tuples inside network service repositories, as, e.g., in SUN JavaSpace and IBM TSpace.
ISSN:1571-0661
1571-0661
DOI:10.1016/S1571-0661(04)00233-6