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.

• 然后在限定属性值范围和无生成策略的条件下，说明了安全问题的确定性；