【摘要】 在基于策略的模型中,研究了使用控制授权模型的安全特性,首先分析了在一般使用控制授权模型中安全问题的不确定性;然后在限定属性值范围和无生成策略的条件下,说明了安全问题的确定性;最后通过释放生成策略的限制,在非连通的属性生成图和包含生成父属性的属性更新图中,证明了安全问题的确定性。更多还原

【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.更多还原