A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation

  • Authors:

  • Daisuke Hoshina;Eijiro Sumii;Akinori Yonezawa

  • Affiliations:

  • -;-;-

  • Venue:
  • TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

We propose the 驴D-calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically prevents access violations. Access control of resources is important in distributed computation, where resources themselves or their contents may be transmitted from one domain to another and thereby vital resources may be exposed to unauthorized processes. In 驴D, a notion of hierarchical domains is introduced as an abstraction of protection domains, and considered as the unit of access control. Domainsare treated as first-class values and can be created dynamically. In addition, the hierarchal structure of domains can be extended dynamically as well. These features are the source of the expressiveness of 驴D. This paper presents the syntax, the operational semantics, and the type system of 驴D, with examples to demonstrate its expressiveness.