TITLE     : A formal validation approach for XACML 3.0 access control policy
AUTHOR(S) : Caserio C, Lonetti F, Marchetti E
TYPE      : Journal article
YEAR      : 2022
CODE      : 468728

*** DO NOT EDIT THIS FILE ***