×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [78]
内容类型
期刊论文 [43]
学位论文 [35]
发表日期
2016 [1]
2015 [2]
2014 [2]
2013 [2]
2012 [3]
2011 [10]
更多...
学科主题
Computer S... [5]
计算机科学技术基础学... [4]
计算机软件::软件工... [2]
Computer S... [1]
计算机应用 [1]
计算机科学技术其他学... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共78条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
认证加密方案的设计与安全性证明
学位论文
博士, 北京: 中国科学院研究生院, 2016
眭晗
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2017/01/10
认证加密方案
可证明安全
分组密码
压缩函数
在线性
数据库形式化安全策略模型建模及分析方法
期刊论文
通信学报, 2015, 卷号: 36, 期号: 9, 页码: 2015151
王榕
;
张敏
;
冯登国
;
李昊
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2016/12/09
形式化建模
数据库
定理证明
安全策略模型
面向应用的公钥密码系统及其可证明安全研究
学位论文
博士, 北京: 中国科学院大学, 2015
张江
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2015/06/30
可证明安全
基于格的密码学
One-More问题
认证密钥交换协议
群签名
基于属性加密
非交互公开公钥加密
代理重加密
支持安全转码的图像加密与认证方法研究
学位论文
博士, 北京: 中国科学院大学, 2014
易小伟
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2014/05/27
安全转码
图像加密
图像认证
联合信源信道编码
率失真优化
基于平滑投影散列函数的匿名凭证系统
期刊论文
计算机应用与软件, 2014, 期号: 10, 页码: 295-299
刘世超
;
张立武
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2014/12/16
匿名凭证
平滑投影散列函数
线性加密体制
Waters签名
Anonymous credential
Smooth projective hash function
Linear encryption
Waters signature
对一个强安全的认证密钥交换协议的分析
期刊论文
电子与信息学报, 2013, 期号: 9, 页码: 2278-2282
胡学先
;
魏江宏
;
叶茂
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2014/12/16
密码学
认证密钥交换
可证明安全
假冒攻击
Cryptography
Authenticated Key Exchange (AKE)
Provable security
Imitate attack
云计算环境虚拟机匿名身份证明方案
期刊论文
软件学报, 2013, 卷号: 24, 期号: 12, 页码: 2897-2908
张严
;
冯登国
;
于爱民
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2014/12/16
虚拟机
身份证明
隐私保护
云计算
改进的适用于移动通信的代理签名方案
期刊论文
华中科技大学学报(自然科学版), 2012, 卷号: 40, 期号: 4, 页码: 72-75
傅晓彤
;
汪婵
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2012/11/12
Authentication
Electronic document identification systems
Random number generation
标准模型下网关口令认证密钥交换协议的通用框架
期刊论文
计算机学报, 2012, 卷号: 35, 期号: 9, 页码: 1833-1844
魏福山
;
张振峰
;
马传贵
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/17
口令认证
网关
平滑投射Hash函数
标准模型
动态远程证明协议及其形式化分析
期刊论文
计算机工程与设计, 2012, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远
;
赵勇
;
王婷
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2013/09/17
动态度量
远程证明
时间戳
LS2逻辑
形式化分析
©版权所有 ©2017 CSpace - Powered by
CSpace