Safety analysis of usage control authorization models
使用控制授权模型的安全性研究

This paper investigated the safety property of UCON. First the safety problem in general UCONA models undecidable, then showed the UCONA model with finite attribute domains and without creating policies to be decidable. At last, by relaxing the creation restriction, showed the safety problem of UCONA model with acyclic attribute creation graph and no cycles that included create-parent tuple in attribute update graph to be decidable.