SMT-Based Verification of NGAC Policies.

Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu

Browse the full COMPSAC paper archive.