Computer Science – Cryptography and Security
Scientific paper
2011-10-17
Computer Science
Cryptography and Security
Extended paper from The Logic of XACML, presented in FACS 2011 (8th International Symposium on Formal Aspects of Component Sof
Scientific paper
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.
Kencana Ramli Carroline Dewi Puspa
Nielson Flemming
Nielson Hanne Riis
No associations
LandOfFree
The Logic of XACML - Extended does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with The Logic of XACML - Extended, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and The Logic of XACML - Extended will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-318770