基于属性访问控制的CSP模型

摘要

本文从项目可行性的层面,提出属性基础上的一种访问控制模型.先对模型形式进行介绍,明确模型属性、属性项等多方面概念,并在此基础上,利用约束的形式来满足访问控制原则形式化模型需求.证明给定属性项值域基础下的正向规则以及负向的规则,二者是可以相互转化的,最终提出一致性的策略概念.