机构

• 软件研究所 [23]
• 计算技术研究所 [2]
• 重庆绿色智能技术研究... [1]

采集方式

• OAI收割 [26]

内容类型

• 期刊论文 [18]
• 学位论文 [8]

发表日期

• 2017 [1]
• 2015 [1]
• 2014 [1]
• 2011 [3]
• 2007 [1]
• 2006 [3]
• 更多

学科主题

• 计算机软件::软件理... [1]

筛选

浏览/检索结果: 共26条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 基于同态门限密码体制的投票协议 期刊论文  OAI收割 计算机应用, 2017, 页码: 1-7 作者:  代小康;  陈长波;  吴文渊   |  收藏  |   面向应用的公钥密码系统及其可证明安全研究 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2015 张江   |  收藏  |   并发系统差分隐私的形式化验证 学位论文  OAI收割 博士, 北京: 中国科学院研究生院, 2014 许丽丽   |  收藏  |   面向无线Ad Hoc网络的认证式安全路由协议 期刊论文  OAI收割 青岛科技大学学报(自然科学版), 2011, 期号: 1, 页码: 76-79 王大星; 滕济凯   |  收藏  |   时间相关密码协议逻辑及其形式化语义 期刊论文  OAI收割 软件学报, 2011, 卷号: 22, 期号: 3, 页码: 534-557 雷新锋; 刘军; 肖军模   |  收藏  |   安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 期刊论文  OAI收割 中国科学院院刊, 2011, 期号: 3, 页码: 287-296 薛锐; 雷新锋   |  收藏  |   基于双线性群的同态承诺方案 期刊论文  OAI收割 计算机研究与发展, 2007, 卷号: 44, 期号: 9, 页码: 1532-1537 宋焰   |  收藏  |   群组密钥交换协议的设计与形式化分析 学位论文  OAI收割 博士, 软件研究所: 中国科学院软件研究所, 2006 孙海波 收藏  |   安全协议的形式化分析技术与方法 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 1, 页码: 40198 薛锐; 冯登国   |  收藏  |   网络认证协议攻击的非形式化分析 期刊论文  OAI收割 计算机工程与应用, 2006, 期号: 22, 页码: 112-115,142 李静; 肖美华   |  收藏  |