一种使用受限的角色委托模型

• 作 者: 邹晓
• 机 构: 兰州理工大学
• 出 处: 兰州理工大学
• 发表日期: 2006年01期
• 关键词: 角色 受限 票据集 形式化 基于角色的访问控制 角色委托模型

基于角色的访问控制(RBAC)模型是目前主流的访问控制模型,它比传统的自主访问控制(DAC)和强制访问控制(MAC)更优越,同时也提供了更高的灵活性和扩展性。 在目前基于角色的访问控制系统中,用户对角色的委任关系是通过管理员来实施的。然而,在大规模的分布式环境下,完全依赖管理员集中式管理,会给管理工作带来很大的困难。基于角色的委托技术为在分布式系统中实现RBAC提供了一种有效的手段,已经成为分布式环境下的重要访问控制管理机制。目前已有一些模型扩展了RBAC模型以支持角色委托,但是这些模型对委托限制的支持非常有限。 论文首先从委托粒度、委托深度、委托及撤销策略等重要方面对现有的三种基于角色的委托模型的特征进行了系统地分析比较,指出了各模型的不同之处、优缺点以及在委托角色使用限制方面的不足;其次,详细讨论了基于角色的委托模型的特征,分析了在采用用户到用户的委托形式下,委托可能发生的情形,并由此得出委托具有暂时性,进而提出了角色委托的暂时性限制需求;然后,对E.Barka等人提出的RBDM0模型进行了扩充,形式化地描述了一个对委托角色的使用时间和使用次数进行限制的角色委托模型UCRBDM,在该模型中,提出了用角色委托票据来表示委托角色的使用时间和使用次数限制。定义了该模型的执行模型,证明了在给定角色委托票据集和用户角色请求序列,则它们有唯一的执行模型。通过一个执行模型例子,验证了此模型的正确性和可行性:最后,对角色委托票据集的管理进行了讨论,提出了在角色委托票据集中角色委托票据的增加和删除管理操作,定义了相应的增加和删除操作函数。并证明了某一确定时刻,在执行模型中仅仅有一个角色委托票据应用到角色请求。