Advice from Belnap Policies
- 1 July 2009
- conference paper
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 234-247
- https://doi.org/10.1109/csf.2009.8
Abstract
Coordination languages for mobile, distributed systems constitute a good basis for the use of aspect-oriented features for providing a clear separation between the functionality and the security policies of programs. Allowing for a distributed definition of aspects, that jointly define a security policy, provide for a number of challenges regarding how to deal with conflicts and how to demonstrate that an overall security policy is met. We adapt recent work on policy composition using Belnap Logic to provide a uniform treatment of conflicts. We further define a modal logic to allow reasoning about the overall security policy. Throughout, we illustrate the developments by examples drawn from health service policies.Keywords
This publication has 13 references indexed in Scilit:
- Access-Control Policies via Belnap Logic: Effective and Efficient Composition and AnalysisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2008
- Cassandra: flexible trust management, applied to electronic health recordsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2004
- Conflict and combination in privacy policy languagesPublished by Association for Computing Machinery (ACM) ,2004
- Using aspects to design a secure systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- An Overview of AspectJLecture Notes in Computer Science, 2001
- Programming Access Control: The Klaim ExperienceLecture Notes in Computer Science, 2000
- The value of the four valuesArtificial Intelligence, 1998
- KLAIM: a kernel language for agents interaction and mobilityIEEE Transactions on Software Engineering, 1998
- Aspect-oriented programmingLecture Notes in Computer Science, 1997
- Action versus state based logics for transition systemsLecture Notes in Computer Science, 1990