Typing Migration Control in Lsdpi
Abstract
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.
@InProceedings\{martins.ravara:typing-migration-control-lsdpi,
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 = \{http://mikado.di.fc.ul.pt/repository/martins.ravara_typing-migration-control-lsdpi.pdf}
}
About this site. Last modified: Thu Apr 25 18:52:25 CEST 2024