期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
网络身份识别(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
上一页 1 下一页 到第
使用帮助 返回顶部