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

Search Results

Help

Item hits: (Results 1-10 of 13)

Items/Page:    Sort:
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势 [期刊论文]
中国科学院院刊, 2011-01-01, 期号: 3, 页码: 287-296
薛锐; 雷新锋
  |  
 
有界单向函数的通用求逆算法研究 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 9, 页码: 1603-1607
薛锐; 刘吉强
  |  
 
用串空间分析公平交换协议 [期刊论文]
小型微型计算机系统, 2006-01-01, 期号: 1, 页码: 62-68
沈海峰; 薛锐; 黄河燕
  |  
 
基于椭圆曲线的代理多签名方案的安全性分析 [期刊论文]
小型微型计算机系统, 2006-01-01, 卷号: 27, 期号: 5, 页码: 798-801
曹天杰; 林东岱; 薛锐
  |  
 
安全协议的形式化分析技术与方法 [期刊论文]
计算机学报, 2006-01-01, 卷号: 29, 期号: 1, 页码: 40198
薛锐; 冯登国
  |  
 
JFK协议的安全性分析 [期刊论文]
小型微型计算机系统, 2005-01-01, 期号: 10, 页码: 1681-1686
沈海峰; 薛锐; 黄河燕; 陈肇雄
  |  
 
串空间理论扩展 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 10, 页码: 1784-1789
沈海峰; 薛锐; 黄河燕; 陈肇雄
  |  
 
一个组密钥协商协议的安全性分析 [期刊论文]
计算机工程与应用, 2005-01-01, 卷号: 41, 期号: 17
曹天杰; 林东岱; 薛锐
  |  
 
AVSP算法 [期刊论文]
计算机工程与设计, 2005-01-01, 卷号: 26, 期号: 4
石昊苏; 薛锐; 冯登国
  |  
 
基于口令认证的密钥交换协议的安全性分析 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 1, 页码: 166-170
李莉; 薛锐; 张焕国; 冯登国; 王丽娜
  |  
 

1 2 next

 

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