A valid and correct-by-construction formal specification of RBAC

H Gadouche, Z Farah, A Tari - International Journal of Information …, 2020 - igi-global.com
Controlling access to data is one of the primary purposes of security, especially when it
comes to dealing with safety critical systems. In such systems, it is of paramount importance …