Safety analysis of usage control authorization models
Bo Yang · Jisuanji yingyong yanjiu · 2008
This paper investigated the safety property of UCON.First the safety problem in general UCONA models undeci￣dable,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.