ISCAS OpenIR
基于PVS的数据库安全策略形式化分析方法
李昊; 张敏; 王榕
2012
Conference Name首届全国信息安全等级保护技术大会
Pages1-9
Conference Date2012
Conference Place桂林
Indexed TypeWANFANG
Department中国科学院信息工程研究所,北京,100195 中国科学院软件研究所,北京,100190
English Abstract安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要.提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.为了表明本文方法的有效性,借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析.分析表明,本文方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.
KeywordFormal Method Dbms Pvs Theorem Proving
Sponsorship信息安全共性技术国家工程研究中心
Language中文
Content Type会议论文
URIhttp://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.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[李昊]'s Articles
[张敏]'s Articles
[王榕]'s Articles
Baidu academic
Similar articles in Baidu academic
[李昊]'s Articles
[张敏]'s Articles
[王榕]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[李昊]'s Articles
[张敏]'s Articles
[王榕]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.