中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 会议论文
Title:
基于PVS的数据库安全策略形式化分析方法
Author: 李昊 ; 张敏 ; 王榕
Conference Name: 首届全国信息安全等级保护技术大会
Conference Date: 2012
Issued Date: 2012
Conference Place: 桂林
Keyword: formal method ; DBMS ; PVS ; theorem proving
Indexed Type: WANFANG
Department: 中国科学院信息工程研究所,北京,100195 中国科学院软件研究所,北京,100190
Sponsorship: 信息安全共性技术国家工程研究中心
Abstract: 安全策略模型的形式化分析对于数据库管理系统达到高安全保障等级非常重要.提出了新的基于PVS的数据库安全策略模型分析方法,该方法结合了PVS函数式语言的特点,通过一系列算法和流程展示了模块化的系统状态、安全属性、操作规则的定义过程.为了表明本文方法的有效性,借助PVS定理证明器对BeyonDB数据库管理系统进行了安全性分析.分析表明,本文方法不但能够提高形式化建模效率,而且可以有效地发现系统设计中存在的漏洞.
Language: 中文
Content Type: 会议论文
URI: http://ir.iscas.ac.cn/handle/311060/15929
Appears in Collections:软件所图书馆_会议论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李昊,张敏,王榕. 基于PVS的数据库安全策略形式化分析方法[C]. 见:首届全国信息安全等级保护技术大会. 桂林. 2012.
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