一种基于角色的使用控制授权模型

• 作 者: 谢辉 张斌 张红旗 单宝恒
• 机 构: 解放军信息工程大学电子技术学院
• 出 处: 微电子学与计算机
• 发表日期: 2010年6期
• 关键词: 使用控制 角色 动态授权 动作时态逻辑 usage control role dynamic authorization temporal logic of a
• 基金项目: 国家“八六三”计划项目（2006AA01Z457）

综合基于角色的访问控制RBAC模型和使用控制UCON模型各自的优势,提出了一种基于角色的使用控制授权模型.该模型基于属性分配角色,通过授权规则、上下文信息约束和属性更新机制来实现动态授权并能有效降低授权管理的规模.对该模型的基本元素进行了形式化描述,并用动作时态逻辑TLA来分析该模型的动态性和安全性,最后分析了该模型的特点.