基于PVS的数据库安全策略形式化分析方法
文献类型：会议论文
| 作者 | 李昊 ; 张敏 ; 王榕 |
| 出版日期 | 2012 |
| 会议名称 | 首届全国信息安全等级保护技术大会 |
| 会议日期 | 2012 |
| 会议地点 | 桂林 |
| 关键词 | formal method DBMS PVS theorem proving |
| 页码 | 1-9 |
| 中文摘要 | 安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要.提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.为了表明本文方法的有效性,借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析.分析表明,本文方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞. |
| 收录类别 | WANFANG |
| 会议主办者 | 信息安全共性技术国家工程研究中心 |
| 语种 | 中文 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15929]  |
| 专题 | 软件研究所_软件所图书馆_会议论文 |
| 推荐引用方式 GB/T 7714 | 李昊,张敏,王榕. 基于PVS的数据库安全策略形式化分析方法[C]. 见:首届全国信息安全等级保护技术大会. 桂林. 2012. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。