Show simple item record

dc.contributor.authorZedan, Husseinen
dc.contributor.authorCau, A. (Antonio)en
dc.contributor.authorJanicke, Helgeen
dc.contributor.authorSiewe, Francoisen
dc.date.accessioned2008-11-24T13:57:22Z
dc.date.available2008-11-24T13:57:22Z
dc.date.issued2007-06-01en
dc.identifier.citationZedan, 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.isbn0-7695-2767-1
dc.identifier.urihttp://hdl.handle.net/2086/272
dc.descriptionPolicies 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.isoenen
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleDeriving enforcement mechanisms for policiesen
dc.typeOtheren
dc.identifier.doihttp://dx.doi.org/10.1109/POLICY.2007.15
dc.researchgroupSoftware Technology Research Laboratory (STRL)
dc.researchinstituteCyber Technology Institute (CTI)en


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record