Mobile Calculi based on Domains

Typing Migration Control in Lsdpi

F. Martins and A. Ravara


This paper presents a type system to control the migration of code between sites in a concurrent distributed framework. The type system constitutes a decidable mechanism to ensure specific security policies, which control remote communication, process migration, and channel creation. The approach is as follows: each network administrator specifies sites privileges, and a type system checks that the processes running at those sites, as well as the composition of the sites, respect these policies. At runtime, well-typed networks do not violate the security policies declared for each site.

  author = \{F. Martins and A. Ravara},
  title = \{Typing Migration Control in Lsdpi},
  booktitle = \{Proceedings of FCS'04},
  year = \{2004}, 
  pages = \{1--12}, 
  volume = \{31}, 
  publisher = \{Turku Centre for Computer Science}, 
  url = \{}

About this site. Last modified: Wed Sep 20 22:03:08 CEST 2017