数据库形式化安全策略模型建模及分析方法

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	数据库形式化安全策略模型建模及分析方法
	王榕 ; 张敏 ; 冯登国 ; 李昊
刊名	通信学报
	2015
卷号	36 期号:9 页码:2015151
关键词	形式化建模数据库定理证明安全策略模型
ISSN号	1000-436X
其他题名	Formal modeling and analyzing method for database security policy
中文摘要	目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于 PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统BeyonDB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。
英文摘要	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.
收录类别	CSCD
语种	中文
CSCD记录号	CSCD:5532409
公开日期	2016-12-09
内容类型	期刊论文
源URL	[http://ir.iscas.ac.cn/handle/311060/17405]
专题	软件研究所_软件所图书馆_期刊论文
推荐引用方式 GB/T 7714	王榕,张敏,冯登国,等. 数据库形式化安全策略模型建模及分析方法[J]. 通信学报,2015,36(9):2015151.
APA	王榕,张敏,冯登国,&李昊.(2015).数据库形式化安全策略模型建模及分析方法.通信学报,36(9),2015151.
MLA	王榕,et al."数据库形式化安全策略模型建模及分析方法".通信学报 36.9(2015):2015151.