Dubrovenski, Vladislav, Erzhuo Chen, and Dianxiang Xu. 2023. “SMT-Based Verification of NGAC Policies”. In IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC’23). Last updated on 05/10/2023
