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

作     者：王榕 张敏 冯登国 李昊 WANG Rong;ZHANG Min;FENG Deng-guo;LI Hao

作者机构：中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100190 中国科学院软件研究所计算机科学国家重点实验室北京100190 

基　　金：国家自然科学基金资助项目(61232005 61402456)~~ 

出 版 物：《通信学报》 (Journal on Communications)

年 卷 期：2015年第36卷第9期

页      码：193-203页

摘      要：目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题,难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法,该方法较以往模型能够更加贴近实际数据库,应用范围更广,安全属性描述更加完整,描述的模型具有灵活的可扩展性,并且保证了建模与验证的效率。最后,将该方法应用于数据库管理系统Beyon DB的安全策略建模分析中,帮助发现了系统若干设计缺陷,证明了方法的有效性。

主 题 词：形式化建模 数据库 定理证明 安全策略模型 

学科分类：0810[工学-土木类] 1205[管理学-图书情报与档案管理类] 0839[0839] 08[工学] 0811[工学-水利类] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.11959/j.issn.1000-436x.2015151

馆 藏 号：203680743...