基于PVS的数据库安全策略形式化分析方法

摘要：

　　安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要。本文提出了新的基于PVS的数据库安全策略模型分析方法，该方法结合了PVS函数式语言的特点，通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程。为了表明本文方法的有效性，借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析。分析表明，本文方法不但能够提高形式化建模效率，而且可以有效地发现系统设计中存在的漏洞。

关键词： 数据库管理 信息安全 程序语言 PVS技术

作者: 李昊 张敏 王榕

作者单位: 中国科学院信息工程研究所,北京,100195 中国科学院软件研究所,北京,100190

会议类型: 国内会议

会议名称: 首届全国信息安全等级保护技术大会

会议地点: 桂林

会议语种:中文

页码: 1-9

在线出版日期: 2012-06-15（万方平台首次上网日期，不代表论文的发表时间）