| 数据库形式化安全策略模型建模及分析方法 |
| |
| 引用本文： | 王 榕,张 敏,冯登国,李 昊. 数据库形式化安全策略模型建模及分析方法[J]. 通信学报, 2015, 36(9): 193-203. DOI: 10.11959/j.issn.1000-436x.2015151 |
| |
| 作者姓名： | 王 榕 张 敏 冯登国 李 昊 |
| |
| 作者单位： | 1. 中国科学院 软件研究所 可信计算与信息保障实验室，北京 100190；2. 中国科学院大学，北京 100190；3. 中国科学院 软件研究所 计算机科学国家重点实验室，北京 100190 |
| |
| 基金项目： | 国家自然科学基金资助项目（61232005, 61402456） |
| |
| 摘 要： | 目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题，难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于PVS语言的数据库形式化安全策略模型建模和分析方法，该方法较以往模型能够更加贴近实际数据库，应用范围更广，安全属性描述更加完整，描述的模型具有灵活的可扩展性，并且保证了建模与验证的效率。最后，将该方法应用于数据库管理系统BeyonDB的安全策略建模分析中，帮助发现了系统若干设计缺陷，证明了方法的有效性。
|
| 关 键 词： | 形式化建模；数据库；定理证明；安全策略模型 |
Formal modeling and analyzing method for database security policy |
| |
| Rong WANG,Min ZHANG,Deng-guo FENG,Hao LI. Formal modeling and analyzing method for database security policy[J]. Journal on Communications, 2015, 36(9): 193-203. DOI: 10.11959/j.issn.1000-436x.2015151 |
| |
| Authors: | Rong WANG Min ZHANG Deng-guo FENG Hao LI |
| |
| Affiliation: | 1. Trusted Computing and Information Assurance Laboratory,Institute of Software,Chinese Academy of Sciences,Beijing 100190,China;2. University of Chinese Academy of Sciences,Beijing 100190,China;3. State Key Laboratory of Computer Science,Institute of Software,ChineseAcademy of Sciences,Beijing 100190,China |
| |
| Abstract: | |
| |
| Keywords: | formal modeling database theorem proving security policy model |
|
| 点击此处可从《通信学报》浏览原始摘要信息 |
|
点击此处可从《通信学报》下载全文 |
|
