A typed process calculus for fine-grained resource access control in distributed computation

Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Citations (Scopus)

Abstract

We propose the πD -calculus, a processcalculusthat can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically prevents access violations. Accesscontrol of resourcesisimportant in distributed computation, where resourcesthemselvesor their contentsmay be transmitted from one domain to another and thereby vital resources may be exposed to unauthorized processes. In πD, a notion of hierarchical domainsisintroduced as an abstraction of protection domains, and considered as the unit of accesscontrol. Domainsare treated asfirst-classvaluesand can be created dynamically. In addition, the hierarchal structure of domains can be extended dynamically aswell. These featuresare the source of the expressiveness of πD. Thispaper presentsthe syntax, the operational semantics, and the type system of πD, with examplesto demonstrate its expressiveness.

Original languageEnglish
Title of host publicationTheoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Proceedings
EditorsBenjamin C. Pierce, Naoki Kobayashi
PublisherSpringer-Verlag
Pages64-81
Number of pages18
ISBN (Print)3540427368, 9783540427360
Publication statusPublished - 2001 Jan 1
Externally publishedYes
Event4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001 - Sendai, Japan
Duration: 2001 Oct 292001 Oct 31

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2215
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001
Country/TerritoryJapan
CitySendai
Period01/10/2901/10/31

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'A typed process calculus for fine-grained resource access control in distributed computation'. Together they form a unique fingerprint.

Cite this