中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 18)

Items/Page:    Sort:
公平性约束下基于抽象和推理的活性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2013-05-31
龙腾
  |  
 
公平的基于身份的有向签名方案 [期刊论文]
云南大学学报(自然科学版), 2011-01-01, 卷号: 33, 期号: 6, 页码: 658-661,666
王大星; 朱鹤鸣; 滕济凯

 
一种离线TTP公平非否认协议的安全性分析方法 [期刊论文]
计算机研究与发展, 2011-01-01, 卷号: 48, 期号: 4, 页码: 656-665
刘冬梅; 卿斯汉; 马恒太; 李树仁
  |  
 
一种基于恶意主体的通用公平交换协议 [期刊论文]
解放军理工大学学报(自然科学版), 2011-01-01, 卷号: 12, 期号: 1, 页码: 19-24
雷新锋; 范晓健; 马文; 刘军; 肖军模
  |  
 
电子商务公平协议设计与分析方法研究 [学位论文]
博士, 北京: 中国科学院研究生院, 2010-04-15
刘冬梅
  |  
 
一种基于适应度函数遗传算法的公平交换协议自动生成方法 [期刊论文]
电子学报, 2010-01-01, 卷号: 38, 期号: 5, 页码: 1089-1094
刘冬梅; 卿斯汉; 侯玉文; 李鹏飞
  |  
 
基于TPM虚拟单调计数器的电子钱包方案的分析和扩展 [期刊论文]
通信学报, 2009-01-01, 期号: S1, 页码: 1-8
刘冬梅; 卿斯汉; 杨涛; 李小群
  |  
 
ZG离线TTP公平非否认协议的安全性分析及改进 [期刊论文]
通信学报, 2009-01-01, 期号: S2, 页码: 44-51
刘冬梅; 卿斯汉; 李鹏飞; 李尚杰
  |  
 
公平认证密钥交换协议的安全模型与模块化设计 [期刊论文]
中国科学(F辑:信息科学), 2009-01-01, 期号: 10, 页码: 1055-1062
冯登国; 陈伟东
  |  
 
一种提供证据一致性的离线TTP多方公平非否认协议 [期刊论文]
中国通信, 2009-01-01, 期号: 4, 页码: 28-35,88
刘冬梅; 卿斯汉
  |  
 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace