Resource Access and Mobility Control with Dynamic Privileges Acquisition

Daniele Gorla and Rosario Pugliese

Short version in 30th Intern. Colloquium on Automata, Languages and Programming (ICALP '03), Eindhoven (The Netherlands), June 30-July 04, 2003.
Full version to appear in Journal of Logic and Algebraic Programming, Elsevier 2009.


Abstract:

microKLAIM is a process language that permits programming distributed systems made up of several 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 and consumption, 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 the absence of run-time errors due to lack of privileges and show two type safety results: one involves whole nets, the other is relative to subnets of larger nets.


@InProceedings{GP:ICALP03,
  author    =   {D. Gorla and R. Pugliese},
  title     =   {Resource Access and Mobility Control with Dynamic Privileges Acquisition},
  editor    =   {J.C.M. Baeten and J.K. Lenstra and J. Parrow and G.J. Woeginger},
  booktitle =   {Proc. of 30th International Colloquium on Automata, Languages and Programming (ICALP'03)},
  series    =   {LNCS},
  volume    =  	{2719},
  pages     =  	{119--132},
  year      =  	{2003},
  publisher =   {Springer},
}

Home page / Publications