Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies Using mCRL2.

Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse

Browse the full FORTE paper archive.