基于规则的受限委派框架

作者：尹刚; 王怀民; 史殿习; 滕猛

来源：计算机学报, 2007, (09): 1511-1519.

• 信任管理
• 委派
• 范围约束
• 规则
• 满足性验证 trust management
• delegation
• scope constraint
• rule
• proof of compliance

委派(delegation)允许特权在主体间传播,是信任管理系统实现跨域授权的核心机制,但不加限制的委派可导致特权扩散,削弱了信息系统的安全性.现有信任管理系统的委派机制缺乏有效的特权传播控制能力,委派机制的安全性也有待于严格的分析和证明.文中提出了基于角色的受限委派模型RCDM,能够支持灵活的特权委派策略,并采用一种范围约束(scope constraint)结构控制特权传播的深度范围和广度范围.面向RCDM提出一种基于规则的满足性验证算法C3A,基于逻辑程序语义理论分析了C3A算法关于RCDM的可靠性和完备性问题,从理论上证明了RCDM的安全性和可用性.

• 单位
  中国人民解放军国防科学技术大学