计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2015年
6期
1751-1756
,共6页
汪志鹏%杨明慧%陈兵%王福
汪誌鵬%楊明慧%陳兵%王福
왕지붕%양명혜%진병%왕복
形式化顶层规范%安全数据库%SQL操作%形式化分析与验证
形式化頂層規範%安全數據庫%SQL操作%形式化分析與驗證
형식화정층규범%안전수거고%SQL조작%형식화분석여험증
formal top level specification(FTLS)%secure database%SQL operation%formal specification and verification
介绍了安全数据库形式化顸层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证.验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明.
介紹瞭安全數據庫形式化頇層規範,定義瞭頂層規範中SQL操作的描述,在此基礎上給齣簡單SQL操作的定義,併對其進行分析驗證,最後將一般SQL操作的分析驗證轉換為多箇簡單SQL操作的分析驗證.驗證過程錶明,該方法既對SQL操作作瞭完整清晰的描述,又簡化瞭證明.
개소료안전수거고형식화한층규범,정의료정층규범중SQL조작적묘술,재차기출상급출간단SQL조작적정의,병대기진행분석험증,최후장일반SQL조작적분석험증전환위다개간단SQL조작적분석험증.험증과정표명,해방법기대SQL조작작료완정청석적묘술,우간화료증명.