G. Bruns

J.Y. Halpern

M. Evered

N.D. Belnap

Q. Ni

Carroline Dewi Puspa Kencana Ramli

Hanne Riis Nielson

Flemming Nielson

Crossref

The Logic of XACML

We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artefacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D -algebra

Ramli, Carroline Dewi Puspa Kencana

Nielson, Hanne Riis

Nielson, Flemming

Online Research Database In Technology

We study the international standard XACML 3.0 for describing security access control policy in a compositional way. Our main contribution is to derive a logic that precisely captures the idea behind the standard and to formally define the semantics of the policy combining algorithms of XACML. To guard against modelling artifacts we provide an alternative way of characterizing the policy combining algorithms and we formally prove the equivalence of these approaches. This allows us to pinpoint the shortcoming of previous approaches to formalization based either on Belnap logic or on D-algebra

http://orbit.dtu.dk/ws/files/6377948/The%20Logic.pdf

The Logic of XACML

Abstract

Similar works

Full text

Available Versions

Crossref

Online Research Database In Technology

Online Research Database In Technology