Conference paper
Position paper: A generic approach for security policies composition : position paper
Department of Informatics and Mathematical Modeling, Technical University of Denmark1
Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark2
Computer Science and Engineering, Department of Informatics and Mathematical Modeling, Technical University of Denmark3
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.
Language: | English |
---|---|
Publisher: | Association for Computing Machinery |
Year: | 2012 |
Pages: | 1-4 |
Proceedings: | 7th Workshop on Programming Languages and Analysis for Security (PLAS 2012) |
Types: | Conference paper |
DOI: | 10.1145/2336717.2336722 |
ORCIDs: | Nielson, Flemming |
Access protection Correctness Security and privacy Software and application security Software and its engineering Software functional properties Software organization and properties Software security engineering access control analysis logic manipulation logics security policies composition