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]
@article{ArshadHJOW24, title = {XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications}, author = {Hamed Arshad and Ross Horne and Christian Johansen and Olaf Owe and Tim A. C. Willemse}, year = {2024}, month = {January}, doi = {10.1016/j.scico.2023.103046}, url = {https://doi.org/10.1016/j.scico.2023.103046}, researchr = {https://researchr.org/publication/ArshadHJOW24}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {232}, pages = {103046}, }