Controlling Security Policies in a Distributed Environment
Abstract
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.
@TechReport\{martins.vasconcelos:controlling-security-policies,
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 = \{http://mikado.di.fc.ul.pt/repository/martins.vasconcelos_controlling-security-policies.pdf}
}
About this site. Last modified: Fri Apr 26 22:06:00 CEST 2024