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

• 作者: 冯登国 张敏 李昊 王榕
• 来源期刊: 通信学报
• 学科: 工学
• 关键词: 形式化建模 数据库 定理证明 安全策略模型
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 学术论文
• 页码范围: 193-203
• 页数: 11页
• 分类号: TP309
• 字数: 7806字
• 语种: 中文
• DOI: 10.11959/j.issn.1000-436x.2015151

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院软件研究所可信计算与信息保障实验室	243	6305	35.0	71.0
2	张敏	中国科学院软件研究所可信计算与信息保障实验室	184	2770	26.0	48.0
6	李昊	中国科学院软件研究所可信计算与信息保障实验室	28	834	8.0	28.0
7	王榕	中国科学院软件研究所可信计算与信息保障实验室	2	2	1.0	1.0