Safety Analysis in the NGAC Model

Brian Tan, Ewan S. D. Davies, Indrakshi Ray +1

We study the safety problem for the next-generation access control (NGAC) model. We show that under mild assumptions it is coNP-complete, and under further realistic assumptions we…