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