Deriving enforcement mechanisms for policies

De Montfort University Open Research Archive

Show simple item record Zedan, Hussein en Cau, A. (Antonio) en Janicke, Helge en Siewe, Francois en 2008-11-24T13:57:22Z 2008-11-24T13:57:22Z 2007-06-01 en
dc.identifier.citation Zedan, H. et al. (2007) Deriving enforcement mechanisms for policies, Proceedings of the 8th IEEE International workshop on policies for distributed systems and networks policy 2007, pp. 161-170.
dc.identifier.isbn 0-7695-2767-1 en
dc.description Policies provide a flexible and scalable approach to the management of distributed systems by separating the specification of security requirements and their enforcement. This paper addresses the development of enforcement mechanisms from a theoretical perspective and shows how enforcement code can be formally derived for compositional, history-dependent policies that can change dynamically over time or on the occurrence of events. The work is currently supported by the MoD-funded DIF-DTC projects: "Secure and Trusted Agents for Information Fusion" and "Trust Management in Collaborative Systems". The technology behind this work is known as SANTA which is now being exploited by GD Ltd. en
dc.language.iso en en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title Deriving enforcement mechanisms for policies en
dc.type Other en
dc.researchgroup Software Technology Research Laboratory (STRL)

Files in this item

This item appears in the following Collection(s)

Show simple item record