Mobile Calculi based on Domains

Controlling Security Policies in a Distributed Environment

F. Martins and V. Vasconcelos


This paper presents a type system to control the migration of code between nodes in a concurrent distributed framework, using Dpi. We express resource policies with types and enforce them via a type system. Sites are organised hierarchically in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that, at runtime, there are no security policies violations.

  author = \{F. Martins and V. Vasconcelos},
  title = \{Controlling Security Policies in a Distributed Environment},
  institution = \{Department of Computer Science, University of Lisbon},
  year = \{2004}, 
  type = \{DI/FCUL TR}, 
  number = \{04--01}, 
  url = \{}

About this site. Last modified: Mon Mar 19 17:06:31 CET 2018