摘要
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。
This paper proposed a novel approach to solve the specification and verification issues towards SQL operations. Firstly, it formally defined the SQL operations in FTLS. Then, it gave the definitions of the simple SQL operations and pro- posed a method to verify them. Finally, this work transformed the verification of the SQL operations in FTLS to the verification of the component simple SQL operations. The process of verification shows that the approach makes a comprehensive specifica- tion of SQL operations and simplifies the verification procedure.
出处
《计算机应用研究》
CSCD
北大核心
2015年第6期1751-1756,共6页
Application Research of Computers
基金
科研院所技术开发研究专项项目(2014EG53068)
公安部科技强警基础工作专项项目(2014GABJC042)
关键词
形式化顶层规范
安全数据库
SQL操作
形式化分析与验证
formal top level specification（FTLS）
secure database
SQL operation
formal specification and verification
