中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共7条，第1-7条

帮助

条数/页：排序方式：
	基于同态门限密码体制的投票协议期刊论文 OAI收割计算机应用, 2017, 页码: 1-7 作者: 代小康; 陈长波; 吴文渊 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2018/03/16 投票协议门限密码体制同态加密健壮性无可信第三方
	基于信誉的快速无可信第三方匿名撤销方案期刊论文 OAI收割通信学报, 2014, 卷号: 35, 期号: 7, 页码: 10-21 and 32 奚瓅; 冯登国 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2014/12/16 匿名撤销匿名信誉无可信第三方匿名认证 anonymous revocation anonymous reputation TTP-free anonymous authentication
	新颖的基于并发签名的公平交易协议期刊论文 OAI收割通信学报, 2008, 卷号: 29, 期号: 7, 页码: 39-43 陈广辉; 卿斯汉; 齐志峰; 杨义先 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/06/10 安全协议公平交易并发签名不可否认性签名公平交易协议可信第三方数据条目秘密信息滥用性公平性性质物品商品签署平地模糊密钥解密交换辨认
	公平交换协议分析与实现技术研究学位论文 OAI收割博士, 软件研究所: 中国科学院软件研究所, 2007 李改成收藏 \| 浏览/下载：27/0 \| 提交时间：2011/03/17 公平交换协议形式化方法需求求精可信第三方
	一种电子商务协议形式化分析方法期刊论文 OAI收割软件学报, 2005, 卷号: 16, 期号: 10, 页码: 1757-1765 王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2011/07/28 形式化分析,电子商务协议,可追究性,公平性,可信第三方Cryptography Formal languages Network protocols Security of data Theorem proving
	一种新型的非否认协议期刊论文 OAI收割软件学报, 2000, 卷号: 11, 期号: 10, 页码: 1338-1343 卿斯汉 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/29 非否认协议 SVO逻辑可信第三方仲裁方非否认协议概念和方法欺骗行为逻辑分析证明信道缺陷扩展扩充基础草案安全Algorithms Communication channels (information theory) Cryptography Data processing Formal logic Security of data
	简单用户身份认证系统学位论文 OAI收割博士, 中国科学院软件研究所: 中国科学院软件研究所, 1998 闫波收藏 \| 浏览/下载：15/0 \| 提交时间：2011/03/17 网络安全用户身份认证公开密钥密码技术对称密钥密码技术会话密钥无可信任第三方