中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于PVS的数据库安全策略形式化分析方法
Alternative Title: A formal analysis approach for DBMS security polices based on PVS
Author: 李昊 ; 张敏 ; 王榕
Keyword: 形式化方法 ; 数据库管理系统 ; PVS ; 定理证明 ; formal method ; DBMS ; PVS ; theorem proving
Source: 中国科学技术大学学报
Issued Date: 2013
Volume: 43, Issue:7, Pages:591-598
Indexed Type: CSCD
Department: 中国科学院软件研究所,北京,100190
Abstract: 基于安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级的重要性,提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.借助PVS定理证明器对BeyonDB数据库管理系统进行安全性分析,结果表明,该方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.
English Abstract: The formal analysis of security policy models is very important for DBMS to attain a higher assurance level.A novel formal analysis approach based on PVS for DBMS security polices was proposed.The modular system state, security properties and operation rules were presented by a series of algorithms and processes in our approach, which took advantage of the functional characteristic of PVS language.By analyzing the security of BeyonDB with the PVS theorem prover, it was shown that the approach can improve the efficiency of formal modeling and is effective in discovering system design faults
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16854
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李昊,张敏,王榕. 基于PVS的数据库安全策略形式化分析方法[J]. 中国科学技术大学学报,2013-01-01,43(7):591-598.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[李昊]'s Articles
[张敏]'s Articles
[王榕]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[李昊]‘s Articles
[张敏]‘s Articles
[王榕]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

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

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace