Mobile Calculi based on Domains


History-based access control for distributed processes

F. Martins and V. Vasconcelos

Abstract

This paper presents a type system to control the migration of code between network nodes in a concurrent distributed framework, using the Dpi language. We express resource access policies as types and enforce policies via a type system. Types describe paths travelled by migrating code, enabling the control of history sensitive access to resources. Sites are logically organised in subnetworks that share the same security policies, statically specified by a network administrator. The type system guarantees that well-typed networks are exempt from security policies violations at runtime.

@Unpublished\{martins.vasconcelos:history-based-access-control,
  author = \{F. Martins and V. Vasconcelos},
  title = \{History-based access control for distributed processes},
  year = \{2005}, 
  url = \{http://mikado.di.fc.ul.pt/repository/martins.vasconcelos_history-based-access-control.pdf}
}


About this site. Last modified: Wed Nov 22 08:36:01 CET 2017