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. Last updated on 07/19/2023