论文部分内容阅读
随着访问控制理论和现实应用中安全需求的发展,表达能力和灵活性现在已成为访问控制系统的顶级要求;逻辑程序被普遍认为是形式化安全策略的最好方法。本文主要研究如何用逻辑程序确定柔性访问控制策略,包括分析柔性访问控制的特征,探索RBAC的柔性特点,研究基于LPOD程序冲突消解策略,提出一种基于逻辑程序的柔性授权框架。