中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共26条，第1-10条 帮助

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