Sign in
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications.
Hamed Arshad
Ross Horne
Christian Johansen
Olaf Owe
Tim A. C. Willemse
Published in:
Sci. Comput. Program. (2024)
Keyphrases
</>
role based access control
access control
access control policies
markup language
multi domain
conflict resolution
security policies
distributed environment
fine grained
domain specific
data security
semi automatic
third party
formal specification
security requirements
transformation rules