%0 Journal Article
%T 数据库形式化安全策略模型建模及分析方法
%A 王榕
%A 张敏
%A 冯登国
%A 李昊
%J 通信学报
%D 2015
%X ？目前数据库形式化安全策略模型存在抽象层次较高、缺乏对数据库状态与约束的充分描述等问题，难以辅助用户发现商用数据库设计中的微小缺陷。提出了一种基于pvs语言的数据库形式化安全策略模型建模和分析方法，该方法较以往模型能够更加贴近实际数据库，应用范围更广，安全属性描述更加完整，描述的模型具有灵活的可扩展性，并且保证了建模与验证的效率。最后，将该方法应用于数据库管理系统beyondb的安全策略建模分析中，帮助发现了系统若干设计缺陷，证明了方法的有效性。
%K 形式化建模
%K 数据库
%K 定理证明
%K 安全策略模型
%U http://www.joconline.com.cn/CN/10.11959/j.issn.1000-436x.2015151