Please use this identifier to cite or link to this item:
http://hdl.handle.net/10455/2967| Title: | Controlling Security Policies in a Distributed Environment |
| Author: | Martins, Francisco Vasconcelos, Vasco T. |
| Keywords: | Security Mobility Concurrency Distribution Process calculus |
| Issue Date: | Apr-2004 |
| Publisher: | Department of Informatics, University of Lisbon |
| Series/Report no.: | di-fcul-tr-04-1 |
| 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 |
| URI: | http://hdl.handle.net/10451/14269 http://repositorio.ul.pt/handle/10455/2967 |
| Appears in Collections: | FC-DI - Technical Reports |
Items in Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
