Resource Access and Mobility Control with Dynamic Privileges Acquisition
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