中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
数据库形式化安全策略模型建模及分析方法
Alternative Title: Formal modeling and analyzing method for database security policy
Author: 王榕 ; 张敏 ; 冯登国 ; 李昊
Keyword: 形式化建模 ; 数据库 ; 定理证明 ; 安全策略模型
Source: 通信学报
Issued Date: 2015
Volume: 36, Issue:9, Pages:2015151
Indexed Type: CSCD
Department: 王榕, 中国科学院软件研究所可信计算与信息保障实验室, 北京 100190, 中国;冯登国, 中国科学院软件研究所可信计算与信息保障实验室, 北京 100190, 中国;李昊, 中国科学院软件研究所可信计算与信息保障实验室, 北京 100190, 中国;张敏, 中国科学院软件研究所可信计算与信息保障实验室, 计算机科学国家重点实验室, 北京 100190, 中国;
Abstract: 目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于 PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵 活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统BeyonDB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明 了方法的有效性。
English Abstract: Because of the high-level abstraction, insufficient description of database states and constraints, it was difficult to find the tiny flaws in design and implementation. Based on PVS, a method for formal description and analysis of database security policy was proposed, which was more close to the actual database, more widely used in reality, and more complete in describing the safe properties, more extendible of the model, and ensure the efficiency of modeling and verification. Finally, this method is applied in the security policy modeling and analyzing of BeyonDB, which is a commercial database, find some security risks in the system design, and thereby verify its effectiveness.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/17405
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:
File Name/ File Size Content Type Version Access License
数据库形式化安全策略模型建模及分析方法.pdf(1207KB)----限制开放 联系获取全文

Recommended Citation:
王榕,张敏,冯登国,等. 数据库形式化安全策略模型建模及分析方法[J]. 通信学报,2015-01-01,36(9):2015151.
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