Model-Based Testing of Obligatory ABAC Systems
Khamaiseh, Samer, Patrick Chapman, and Dianxiang Xu. 2018. “Model-Based Testing of Obligatory ABAC Systems”. 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 405-13.