Martins, FranciscoVasconcelos, Vasco T.2009-02-102014-11-142009-02-102014-11-142004-04http://hdl.handle.net/10451/14269http://repositorio.ul.pt/handle/10455/2967This 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 violationsporSecurityMobilityConcurrencyDistributionProcess calculusreport