Study and Safety Analysis on UCONonA Model

As the next generation access control, usage control models received serious academic attention and had been extended in much direction. But, as a fundamental problem, the safety analysis of UCON has not been explored enough. This paper completes the safety analysis of authorization UCON by analysis the safety problem of ongoing authorizations usage control models. First, presents a formal UCON_onA model. Then, analysis the safety problem of a general UCON_onA model is undecidable. Finally, prove the safety problem of an UCON_onA system is decidable with finite attribute domain and no creating actions in the scheme.