Safety Analysis of Usage Control Authorization Models

HU Zhao-wei,YU Wan-jun,YANG Bo
DOI: https://doi.org/10.3969/j.issn.1001-3695.2008.01.070
2008-01-01
Abstract: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.
What problem does this paper attempt to address?