摘要

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

  • 单位
    中国工程物理研究院计算机应用研究所