| 安全数据库顶层规范中SQL操作的形式化分析与验证 |
| |
| 引用本文： | 汪志鹏,杨明慧,陈兵,王福. 安全数据库顶层规范中SQL操作的形式化分析与验证[J]. 计算机应用研究, 2015, 32(6) |
| |
| 作者姓名： | 汪志鹏 杨明慧 陈兵 王福 |
| |
| 作者单位： | 公安部第三研究所网络身份技术事业部,上海,201204 |
| |
| 基金项目： | 科研院所技术开发研究专项项目，公安部科技强警基础工作专项项目 |
| |
| 摘 要： | 介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.
|
| 关 键 词： | 形式化顶层规范 安全数据库 SQL操作 形式化分析与验证 |
Formal specification and verification for SQL operations in top level specification of secure database |
| |
| Wang Zhipeng,Yang Minghui,Chen Bing,Wang Fu. Formal specification and verification for SQL operations in top level specification of secure database[J]. Application Research of Computers, 2015, 32(6) |
| |
| Authors: | Wang Zhipeng Yang Minghui Chen Bing Wang Fu |
| |
| Abstract: | |
| |
| Keywords: | formal top level specification(FTLS) secure database SQL operation formal specification and verification |
| 本文献已被 万方数据 等数据库收录！ |
|
