基于PVS的数据库安全策略形式化分析方法
文献类型：期刊论文
| 作者 | 李昊 ; 张敏 ; 王榕 |
| 刊名 | 中国科学技术大学学报
 |
| 出版日期 | 2013 |
| 卷号 | 43期号:7页码:591-598 |
| 关键词 | 形式化方法 数据库管理系统 PVS 定理证明 formal method DBMS PVS theorem proving |
| ISSN号 | 0253-2778 |
| 其他题名 | A formal analysis approach for DBMS security polices based on PVS |
| 中文摘要 | 基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞. |
| 英文摘要 | The formal analysis of security policy models is very important for DBMS to attain a higher assurance level.A novel formal analysis approach based on PVS for DBMS security polices was proposed.The modular system state, security properties and operation rules were presented by a series of algorithms and processes in our approach, which took advantage of the functional characteristic of PVS language.By analyzing the security of BeyonDB with the PVS theorem prover, it was shown that the approach can improve the efficiency of formal modeling and is effective in discovering system design faults |
| 收录类别 | CSCD |
| 语种 | 中文 |
| CSCD记录号 | CSCD:4903495 |
| 公开日期 | 2014-12-16 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/16854]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 李昊,张敏,王榕. 基于PVS的数据库安全策略形式化分析方法[J]. 中国科学技术大学学报,2013,43(7):591-598. |
| APA | 李昊,张敏,&王榕.(2013).基于PVS的数据库安全策略形式化分析方法.中国科学技术大学学报,43(7),591-598. |
| MLA | 李昊,et al."基于PVS的数据库安全策略形式化分析方法".中国科学技术大学学报 43.7(2013):591-598. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。