6 citations · 21 across the 14 of their papers we have counts for
1 paper · 1 filter
Carroline Dewi Puspa Kencana Ramli, Hanne Riis Nielson, Flemming Nielson
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 captur…