基于抽象和搜索空间划分的安全性判定方法

摘要：

为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.

关键词：访问控制、谓词抽象、安全性分析、模型检测、可信评估

所属期刊栏目：38

分类号：TP309.2(计算技术、计算机技术)

资助基金：国家自然科学基金;江苏省自然科学基金;江苏省高等学校自然科学研究项目;江苏省"六大人才高峰"高层次人才项目;江苏大学高级人才项目

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

页数：共5页

页码：55-59