首页> 中文期刊> 《计算机应用研究》 >安全数据库顶层规范中SQL操作的形式化分析与验证

安全数据库顶层规范中SQL操作的形式化分析与验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.

著录项

来源
《计算机应用研究》 |2015年第6期|1751-1756|共6页
作者
汪志鹏; 杨明慧; 陈兵; 王福;
展开▼
作者单位

公安部第三研究所网络身份技术事业部;

上海201204;

公安部第三研究所网络身份技术事业部;

上海201204;

公安部第三研究所网络身份技术事业部;

上海201204;

公安部第三研究所网络身份技术事业部;

上海201204;

展开▼
原文格式 PDF
正文语种 chi
中图分类 TP311.13;
关键词
形式化顶层规范; 安全数据库; SQL操作; 形式化分析与验证;

相似文献

中文文献
外文文献
专利

1. 操作系统安全验证形式化分析框架 [J] . 尹中旭 ,吴灏 . 计算机工程与科学 . 2009,第003期
2. 在可信编译器设计中实践CompCert编译器的语法分析器形式化验证过程 [J] . 李凌 ,李璜华 ,王生原 . 计算机科学 . 2020,第006期
3. 数控加工中对刀操作的原理分析及验证 [J] . 陈伟 . 商情 . 2014,第042期
4. 对中国2010版《药品生产质量管理规范》中清洁验证的分析 [J] . 秦小强 . 中国医药指南 . 2013,第023期
5. 计量标准考核规范中测量不确定度验证公式的理论分析 [J] . 张爱兴 ,谭洁 ,高涛 . 工业计量 . 2008,第A01期
6. 航天器操作系统软件的形式化构造与验证技术研究 [C] . 乔磊 ,杨桦 ,吴一帆 . 中国宇航学会计算机应用专业委员会2013年度技术交流会 . 2013
7. EVENT-B方法在铁路车站连锁规范形式化建模与验证中的应用研究 [A] . 张传东 . 2017

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号