带有委托功能的UCONpreA模型安全性分析及DBRM0表达

摘要：

针对使用控制模型(UCON)中加入委托功能后安全分析愈加复杂的问题,首先形式化地表达了其子模型——使用前授权(UCONpreA)的委托过程,通过分析证明了一般带有委托功能的UCONpreA模型的安全性是不可确定的,然后通过构造有限状态机的方法证明了一个受约束的带有委托功能的UCONpreA模型的安全性是可确定的,最后利用该约束模型成功地表达了传统的基于角色的委托模型(RBDM0);并进一步增强了UCON的表达能力,能有效保证其安全性.

关键词：使用控制、安全性分析、有限状态机、委托、基于角色的委托模型

所属期刊栏目：32

分类号：TP301(计算技术、计算机技术)

资助基金：国家科技支撑计划项目2012BAH19F003

在线出版日期：2013-01-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：3426-3429