A compositional framework for access control policies enforcement

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Cau, A. (Antonio) en
dc.contributor.author Siewe, Francois en
dc.contributor.author Zedan, Hussein en
dc.date.accessioned 2008-11-24T13:57:20Z
dc.date.available 2008-11-24T13:57:20Z
dc.date.issued 2003-10-01 en
dc.identifier.citation Cau, A.G., Siewe, F. and Zedan, H. (2003) A compositional framework for access control policies enforcement, proceedings of the ACM workshop on formal methods in security engineering from specifications to code, pp. 32-42.
dc.identifier.isbn 1-58113-781-8 en
dc.identifier.uri http://hdl.handle.net/2086/263
dc.description The paper is a deliverable for the DIF-DTC project "Secure and Trusted Agents for Information Fusion". The aim of the project was to develop a dynamic security policy framework. Enforcing multiple policies is a challenge in order to achieve the level of security required in many real-world systems. This paper presents a formal model for the compositional specification of mulitiple policies. The framework has been extended to deal with dynamic policies that change over time or on the occurrence of events and is currently extended to deal with trust. The paper has been cited 17 times according to Google Scholar. en
dc.language.iso en en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title A compositional framework for access control policies enforcement 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