A generic approach for security policies composition: position paper

Authors:
Alejandro Mario Hernandez;Flemming Nielson
Affiliations:
Technical University of Denmark;Technical University of Denmark
Venue:
Proceedings of the 7th Workshop on Programming Languages and Analysis for Security
Year:
2012

Citing 6
Cited 0

The value of the four values

Artificial Intelligence
Application-Oriented Security Policies and Their Composition (Position Paper)

Proceedings of the 6th International Workshop on Security Protocols
A simple and expressive semantic framework for policy composition in access control

Proceedings of the 2007 ACM workshop on Formal methods in security engineering
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis

CSF '08 Proceedings of the 2008 21st IEEE Computer Security Foundations Symposium
D-algebra for composing access control policy decisions

Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
Advice from Belnap Policies

CSF '09 Proceedings of the 2009 22nd IEEE Computer Security Foundations Symposium

Quantified Score

Hi-index	0.00

Visualization

Abstract

When modelling access control in distributed systems, the problem of security policies composition arises. Much work has been done on different ways of combining policies, and using different logics to do this. In this paper, we propose a more general approach based on a 4-valued logic, that abstracts from the specific setting, and groups together many of the existing ways for combining policies. Moreover, we propose going one step further, by twisting the 4-valued logic and obtaining a more traditional approach that might therefore be more appropriate for analysis.