论文部分内容阅读
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。
安全数据库顶层规范中SQL操作的形式化分析与验证
【摘 要】
：
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。
【机 构】
：
公安部第三研究所网络身份技术事业部
【出 处】
：
计算机应用研究
【发表日期】
：
2015年06期
【基金项目】
：
科研院所技术开发研究专项项目（2014EG53068）,公安部科技强警基础工作专项项目（2014GABJC042）
其他文献
【正】 在人们的印象中,1991年的华东水灾可以说是新中国历史上与唐山大地震相提并论的特大自然灾害。尽管转瞬已过去三年有余,人们还是记忆忧新。但是,对于绝大多数人来说恐
【正】 9月9日,两辆载着文教用品和朝阳区479名工商干部爱心的货车驶入了长城脚下的怀柔县沙峪乡渤海所小学。这是朝阳区工商局在教师节来临之际用个人捐款为帮助山区小学发
【正】 四月六日,通县南城街道办事处的王秀珍同志,到通县消费者协会诉说被“江苏无锡县热水器厂”生的“玉蓉”牌燃气热水器烫伤的事件。 三月二十九日晚十一时,王在洗澡时
【正】 根据国务院“菜篮子”工作会议精神,为进一步繁荣首都经济,保证市场供应和蔬菜价格的稳定,真正为群众办实事,我市各级工商部门充分发挥自身职能作用,采取有力措施,确
【正】 收买内线 打假方便 他是法国圣·洛朗服装公司香水分公司的情报尖子。姑且给他起个名,叫他罗伯特吧。过去他在国家情报部门当差,现在转到了化妆品行业,从事打击假
为了提高Gabor表示的时频分辨率,使用了基于度量函数的窗函数宽度自适应选择算法,并利用其优化后的Gabor时频分布在时频联合域内运用时频掩蔽技术进行滤波,用于非平稳信号的中分量提取或降噪。实验结果表明了改进的自适应离散Gabor变换算法在信号处理中的有效性和实用性。
职业教育发展制约了一国技能形成体系与劳动力市场需求的匹配程度,匹配技能供求已构成对不同发展水平社会的严峻挑战;若供求双方怀疑技能投资能否带来积极回报,教育和培训的
【正】 个体和私营经济是社会主义市场经济结构中不可缺少的组成部分,是社会主义统一大市场中新的经济增长点。为了促使其更快、更好、更全面地发展,最近大兴县委、县政府在1
【正】 日前,门头沟工商局执法人员发现4名外地男青年正以每吨售价220至240元推销水泥,共计9吨。水泥是用周口店水泥厂“山顶洞”牌325号水泥袋装的,水泥颜色不正,发土色。