形式化顶层规范相关硕士博士期刊学术论文 - 搜论网

形式化顶层规范相关论文

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

介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一......

期刊

形式化顶层规范安全数据库 SQL操作形式化分析与验证 formal top level specification（FTLS） secure datab

看过本文同时还关注