2014
DOI: 10.1007/978-3-642-54792-8_14
View full text
|
|
Share

Abstract: Abstract. Formal foundations for access control policies with both authority delegation and policy composition operators are partial and limited. Correctness guarantees cannot therefore be formally stated and verified for decentralized composite access control systems, such as those based on XACML 3. To address this problem we develop a formal policy language BelLog that can express both delegation and composition operators. We illustrate, through examples, how BelLog can be used to specify practical policies…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
8
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals