Institutional Repository
| 基于PVS的数据库安全策略形式化分析方法 | |
| 李昊; 张敏; 王榕 | |
| 2012 | |
| Conference Name | 首届全国信息安全等级保护技术大会 |
| Pages | 1-9 |
| Conference Date | 2012 |
| Conference Place | 桂林 |
| Indexed Type | WANFANG |
| Department | 中国科学院信息工程研究所,北京,100195 中国科学院软件研究所,北京,100190 |
| English Abstract | 安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要.提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.为了表明本文方法的有效性,借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析.分析表明,本文方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞. |
| Keyword | Formal Method Dbms Pvs Theorem Proving |
| Sponsorship | 信息安全共性技术国家工程研究中心 |
| Language | 中文 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/15929 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | 李昊,张敏,王榕. 基于PVS的数据库安全策略形式化分析方法[C],2012:1-9. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment