| 基于PVS的数据库安全策略形式化分析方法 |
| |
| 引用本文： | 李昊,张敏,王榕.基于PVS的数据库安全策略形式化分析方法[J].中国科学技术大学学报,2013,43(7):591-598. |
| |
| 作者姓名： | 李昊 张敏 王榕 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100190 |
| |
| 基金项目： | 核高基重大专项，国家自然科学基金重点项目，中国高技术研究发展(863)计划 |
| |
| 摘 要： | 基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.
|
| 关 键 词： | 形式化方法 数据库管理系统 PVS 定理证明 |
A formal analysis approach for DBMS security polices based on PVS |
| |
| LI Hao
,
ZHANG Min
,
WANG Rong.A formal analysis approach for DBMS security polices based on PVS[J].Journal of University of Science and Technology of China,2013,43(7):591-598. |
| |
| Authors: | LI Hao ZHANG Min WANG Rong |
| |
| Institution: | (Institute of Software,Chinese Academy of Sciences,Beijing100190,China) |
| |
| Abstract: | |
| |
| Keywords: | formal method DBMS PVS theorem proving |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
