University of Sussex
Browse
ic02rac.ps (438.2 kB)

Resource access control in systems of mobile agents

Download (438.2 kB)
journal contribution
posted on 2023-06-07, 14:10 authored by Matthew Hennessy, James Riely
We describe a typing system for a distributed p-calculus which guarantees that distributed agents cannot access the resources of a system without first being granted the capability to do so. The language studied allows agents to move between distributed locations and to augment their set of capabilities via communication with other agents. The type system is based on the novel notion of a location type, which describes the set of resources available to an agent at a location. Resources are themselves equipped with capabilities, and thus an agent may be given permission to send data along a channel at a particular location without being granted permission to read data along the same channel. We also describe a tagged version of the language, where the capabilities of agents are made explicit in the syntax. Using this tagged language we define access violations as runtime errors and prove that well-typed systems are incapable of such errors.

History

Publication status

  • Published

Journal

Information and Computation

ISSN

0890-5401

Issue

1

Volume

173

Page range

82-120

Department affiliated with

  • Informatics Publications

Full text available

  • Yes

Peer reviewed?

  • Yes

Legacy Posted Date

2008-02-27

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC