Coverage-Based Testing of Obligations in NGAC Systems
Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2023. “Coverage-Based Testing of Obligations in NGAC Systems”. In 28th ACM Symposium on Access Control Models and Technologies (SACMAT’23).