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

Search Results

Help

Item hits: (Results 21-30 of 136)

Items/Page:    Sort:
基于属性证明的可信网络接入方案 [期刊论文]
武汉大学学报(理学版), 2012-01-01, 卷号: 58, 期号: 6, 页码: 519-525
赵世军; 冯登国

 
动态远程证明协议及其形式化分析 [期刊论文]
计算机工程与设计, 2012-01-01, 卷号: 33, 期号: 8, 页码: 2901-2905
辛思远; 赵勇; 王婷

 
NP问题的最优轮复杂性知识的零知识证明 [期刊论文]
中国科学:信息科学, 2012-01-01, 卷号: 42, 期号: 1, 页码: 20-31
李红达; 冯登国; 李宝; 徐海霞

 
基于扩展逻辑变换系统_μTS证明循环优化正确性 [期刊论文]
计算机研究与发展, 2012-01-01, 卷号: 49, 期号: 9, 页码: 1863-1873
王昌晶

 
群组密钥协商协议的设计与分析 [学位论文]
博士, 北京: 中国科学院研究生院, 2011-11-21
滕济凯
  |  
 
消息鉴别码的分析和设计 [学位论文]
硕士, 北京: 中国科学院研究生院, 2011-05-27
梁博
  |  
 
隐私增强直接匿名证明方案研究 [期刊论文]
电子学报, 2011-01-01, 卷号: 39, 期号: 9, 页码: 2166-2172
陈小峰; 冯登国

 
高效的标准模型下基于身份认证密钥协商协议 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 5, 页码: 1031-1040
高志刚; 冯登国

 
组合优化问题简约与算法推演 [期刊论文]
Journal of Software, 2011-01-01, 卷号: 22, 期号: 9, 页码: 1985-1993
郑宇军; 薛锦云; 凌海风

 
CBCR:采用循环移位的CBC MAC [期刊论文]
中国科学:信息科学, 2011-01-01, 期号: 6, 页码: 694-703
张立廷; 吴文玲; 张蕾; 王鹏
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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