期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
网络身份识别(eID)是什么
被引量:
2
1
作者
胡传平
严则明
倪光南
《人民论坛》
北大核心
2016年第3期48-49,共2页
elD将现实社会中的人口管理制度延伸到了网络社会 公安部第三研究所所长胡传平:人口管理制度是建立在户籍制度和身份证制度基础上的最基本的社会管理制度,是构建国家安全、社会管理、公民权利保护、社会诚信体系的最有效的措施,也...
elD将现实社会中的人口管理制度延伸到了网络社会 公安部第三研究所所长胡传平:人口管理制度是建立在户籍制度和身份证制度基础上的最基本的社会管理制度,是构建国家安全、社会管理、公民权利保护、社会诚信体系的最有效的措施,也是我党执政六十多年来治理社会、取得经济成就和维持长治久安局面的重要成功经验,是我国政权建设和巩固的基础。
展开更多
关键词
网络社会
人口管理制度
社会管理制度
议题
识别
公民权利保护
社会诚信体系
身份证制度
在线阅读
下载PDF
职称材料
安全数据库顶层规范中SQL操作的形式化分析与验证
被引量:
1
2
作者
汪志鹏
杨明慧
+1 位作者
陈兵
王福
《计算机应用研究》
CSCD
北大核心
2015年第6期1751-1756,共6页
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的...
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。
展开更多
关键词
形式化顶层规范
安全数据库
SQL操作
形式化分析与验证
在线阅读
下载PDF
职称材料
题名
网络身份识别(eID)是什么
被引量:
2
1
作者
胡传平
严则明
倪光南
机构
公安部
第三
研究所
公安部第三研究所网络身份技术事业部
中国工程院
出处
《人民论坛》
北大核心
2016年第3期48-49,共2页
文摘
elD将现实社会中的人口管理制度延伸到了网络社会 公安部第三研究所所长胡传平:人口管理制度是建立在户籍制度和身份证制度基础上的最基本的社会管理制度,是构建国家安全、社会管理、公民权利保护、社会诚信体系的最有效的措施,也是我党执政六十多年来治理社会、取得经济成就和维持长治久安局面的重要成功经验,是我国政权建设和巩固的基础。
关键词
网络社会
人口管理制度
社会管理制度
议题
识别
公民权利保护
社会诚信体系
身份证制度
分类号
D631.42 [政治法律—中外政治制度]
在线阅读
下载PDF
职称材料
题名
安全数据库顶层规范中SQL操作的形式化分析与验证
被引量:
1
2
作者
汪志鹏
杨明慧
陈兵
王福
机构
公安部第三研究所网络身份技术事业部
出处
《计算机应用研究》
CSCD
北大核心
2015年第6期1751-1756,共6页
基金
科研院所技术开发研究专项项目(2014EG53068)
公安部科技强警基础工作专项项目(2014GABJC042)
文摘
介绍了安全数据库形式化顶层规范,定义了顶层规范中SQL操作的描述,在此基础上给出简单SQL操作的定义,并对其进行分析验证,最后将一般SQL操作的分析验证转换为多个简单SQL操作的分析验证。验证过程表明,该方法既对SQL操作作了完整清晰的描述,又简化了证明。
关键词
形式化顶层规范
安全数据库
SQL操作
形式化分析与验证
Keywords
formal top level specification(FTLS)
secure database
SQL operation
formal specification and verification
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
网络身份识别(eID)是什么
胡传平
严则明
倪光南
《人民论坛》
北大核心
2016
2
在线阅读
下载PDF
职称材料
2
安全数据库顶层规范中SQL操作的形式化分析与验证
汪志鹏
杨明慧
陈兵
王福
《计算机应用研究》
CSCD
北大核心
2015
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部