Francisco Martins
(University of Azores)

History-based access control for distributed processes.
-------------------------------------------------------

We present a type system to control the migration of code between nodes in
a distributed environment. It uses Dpi as the underlying calculus and
types to describe paths travelled by migrating code,
enabling an history sensitive access discipline to resources.

The security model we propose is based on the notion of security groups.
A security group delimits a region of the network with the same security
requirements and may be understood as a firewall that dictates and
supervises the sites under its control. The language we choose to write
security policies is very simple and is expressed as type system
assumptions. In fact, we use a type system as the security mechanism to
enforce that networks respect the security policies defined by groups.