中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
Content Type
期刊论文 [38]
Issued Date
2013 [1]
2012 [3]
2011 [2]
Language
Project
Indexed
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 38)

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
辛思远; 赵勇; 王婷

 
基于扩展逻辑变换系统_μ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
高志刚; 冯登国

 
一种基于ACJT的指定验证者的群签名方案 [期刊论文]
计算机应用研究, 2006-01-01, 期号: 9, 页码: 113-115
宋考; 谢冬青
  |  
 
一种基于图重写的计算机安全风险分析系统 [期刊论文]
计算机科学, 2006-01-01, 卷号: 33, 期号: 8, 页码: 271-274
李娜; 谢冬青
  |  
 
模式匹配问题的描述框架与算法模型 [期刊论文]
模式识别与人工智能, 2006-01-01, 卷号: 19, 期号: 6, 页码: 715-721
张治; 车皓阳; 施鹏飞
  |  
 
标准模型下可证安全的门限签名方案 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 9
徐静
  |  
 

1 2 3 4 next

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