Mobile Calculi based on Domains


Resource Access and Mobility Control with Dynamic Privileges Acquisition

D. Gorla and R. Pugliese

Abstract

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.

@InProceedings\{gorla.pugliese:resource-access-mobility-control,
  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 = \{http://mikado.di.fc.ul.pt/repository/gorla.pugliese_resource-access-mobility-control.pdf}
}


About this site. Last modified: Fri Mar 29 11:18:01 CET 2024