UCON_(onA)模型的安全研究  

Safety Research on UCON_(onA) Models

作　　者：翟志刚[1] 毛宇光[1,2] 王建东[1] 

机构地区：[1]南京航空航天大学信息科学与技术学院,江苏南京210016 [2]南京大学计算机软件新技术国家重点实验室,江苏南京210093

出　　处：《四川大学学报（工程科学版）》2010年第1期168-172,共5页Journal of Sichuan University (Engineering Science Edition)

基　　金：国家863重大项目(2006AA12A106)

摘　　要：针对使用控制模型(UCON)中安全性异常复杂的问题,通过构造形式化模型的方法得出一些使用控制模型的安全结论,完成了关于授权中使用控制模型(UCONonA)的安全分析。针对使用控制模型中使用决策的持续性和属性易变性的特点,通过定义策略、模式和转换状态的方法给出一个形式化UCONonA模型;通过分析得出一般的UCONonA模型的安全问题是不确定的结论;通过构造一个有限状态机模拟的方法证明对于具有有限属性域和没有创建策略的UCONonA模型在安全性上是确定的。In order to resolve the extraordinary complexity of safety in the Usage Control models（ UCON）, the safety of ongoing-authorization UCON models（UCONonA） was analyzed. A formal UCONonA model was presented based on the attribute mutability and decision continuity characteristics of UCON through the strategy or pattern definition and state transition. It was concluded that it is undetermined for the safety problem of a general UCONonA model according to the analysis. It can be proved that the safety of UCONonA models is decidable while its attribute domains are finite and there arent creating actions in the scheme.

关 键 词：访问控制 使用控制 授权 持续性 易变性 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]