Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse. XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. Science of Computer Programming, 232:103046, January 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.