访问控制系统的规则集模型及其检测算法

摘要：

针对访问控制系统规则存在漏洞问题,提出一个建立在系统读写规则集基础之上的访问控制系统规则集模型及相应的模型检测算法,通过对系统状态的遍历,判断目标在权限提供某些许可的情况下是否可完成,并在目标可完成的情况下输出相应的策略.实验结果证明,在中等规模的系统中该算法有效.

关键词：访问控制系统、模型检测、变迁

所属期刊栏目：36

分类号：TP302(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目60773049

在线出版日期：2010-09-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：43-45