Mobile Calculi based on Domains

Resource Access and Mobility Control with Dynamic Privileges Acquisition

D. Gorla and R. Pugliese


muKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present the language and a type system for controlling the activities, e.g. access to resources and mobility, of the processes in a net. By dealing with privileges acquisition, the type system enables dynamic variations of security policies. We exploit a combination of static and dynamic type checking, and of in-lined reference monitoring, to guarantee absence of run-time errors due to lack of privileges and state two type soundness results: one involves whole nets, the other is relative to subnets of larger nets.

  author = \{D. Gorla and R. Pugliese},
  title = \{Resource Access and Mobility Control with Dynamic Privileges Acquisition},
  booktitle = \{Proc. of 30th International Colloquium on Automata, Languages and Programming (ICALP 03)},
  year = \{2003}, 
  pages = \{119--132}, 
  volume = \{2719}, 
  series = \{LNCS}, 
  publisher = \{Springer}, 
  url = \{}

About this site. Last modified: Tue Jun 19 18:01:19 CEST 2018