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

Search Results

Help

Item hits: (Results 1-10 of 18)

Filters    
Items/Page:    Sort:
Radl形式规格说明相对正确性研究 [期刊论文]
软件学报, 2013-01-01, 卷号: 24, 期号: 4, 页码: 715-729
王昌晶; 薛锦云

 
基于属性证明的可信网络接入方案 [期刊论文]
武汉大学学报(理学版), 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-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
郑宇军; 薛锦云; 凌海风

 
一种基于ACJT的指定验证者的群签名方案 [期刊论文]
计算机应用研究, 2006-01-01, 期号: 9, 页码: 113-115
宋考; 谢冬青
  |  
 
一种基于图重写的计算机安全风险分析系统 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 8, 页码: 271-274
李娜; 谢冬青
  |  
 

1 2 next

 

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