Deriving enforcement mechanisms for policies

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Zedan, Hussein en
dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Janicke, Helge en
dc.contributor.author Siewe, Francois en
dc.date.accessioned 2008-11-24T13:57:22Z
dc.date.available 2008-11-24T13:57:22Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2086/272
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.identifier.doi http://dx.doi.org/10.1109/POLICY.2007.15
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record