Mobile Calculi based on Domains


Static control of code migration

F. Martins and A. Ravara

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.

@Unpublished\{martins.ravara_static-control-code-migration,
  author = \{F. Martins and A. Ravara},
  title = \{Static control of code migration},
  year = \{2005}, 
  url = \{http://mikado.di.fc.ul.pt/repository/martins.ravara_static-control-code-migration.pdf}
}


About this site. Last modified: Wed Nov 22 08:35:06 CET 2017