On the automated analysis of safety in usage control: a new decidability result
NSS'12 Proceedings of the 6th international conference on Network and System Security
| Hi-index | 0.00 |
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 UCONonA model. Then, analysis the safety problem of a general UCONonA model is undecidable. Finally, prove the safety problem of an UCONonA system is decidable with finite attribute domain and no creating actions in the scheme.