| 基于抽象和搜索空间划分的安全性判定方法 |
| |
| 引用本文： | 王昌达,华明辉,周从华,宋香梅,鞠时光.基于抽象和搜索空间划分的安全性判定方法[J].计算机科学与探索,2011,38(10). |
| |
| 作者姓名： | 王昌达 华明辉 周从华 宋香梅 鞠时光 |
| |
| 作者单位： | 江苏大学计算机科学与通信工程学院 镇江 212013 |
| |
| 摘 要： | 为满足访问控制策略安全性快速判定的要求,提出一种基于谓词抽象和验证空间划分的访问控制策略状态空间约减方法,将在访问控制策略原始状态机模型上的安全性分析工作转移到包含较少状态的抽象模型上,并进一步划分抽象模型的验证空间,以提高效率.理论分析和实验数据均表明,其安全性分析所需的时间和空间都得到有效约减.与传统方法相比,它具有速度更快、自动化程度更高等优点.
|
| 关 键 词： | 访问控制 谓词抽象 安全性分析 模型检测 可信评估 |
Security Analysis of Access Control Policy Based on Predicate Abstract and Verification Space Division |
| |
| WANG Chang-da,HUA Ming-hui,ZHOU Cong-hua,SONG Xiang-mei,JU Shi-guang.Security Analysis of Access Control Policy Based on Predicate Abstract and Verification Space Division[J].Journal of Frontier of Computer Science and Technology,2011,38(10). |
| |
| Authors: | WANG Chang-da HUA Ming-hui ZHOU Cong-hua SONG Xiang-mei JU Shi-guang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
