Safety of ABAC $$_\alpha $$ Is Decidable
2017 ◽
pp. 257-272
◽