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

Search Results

Help

Item hits: (Results 1-6 of 6)

Items/Page:    Sort:
群组密钥交换协议的设计与形式化分析 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-04
孙海波
  |  
 
基于理想的协议安全性分析 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 12, 页码: 2150-2156
孙海波; 林东岱; 李莉
  |  
 
基于零知识集的群组密钥分配方案 [期刊论文]
电子学报, 2005-01-01, 卷号: 33, 期号: 2, 页码: 345-349
孙海波; 林东岱
  |  
 
交叉协议安全性分析 [期刊论文]
计算机工程与应用, 2004-01-01, 卷号: 40, 期号: 33
孙海波; 林东岱; 李莉
  |  
 
串空间理论在网络安全协议形式化分析中应用 [期刊论文]
大连理工大学学报, 2003-01-01, 卷号: 43, 期号: z1, 页码: 40306
孙海波; 林东岱; 黄寄洪
  |  
 
基于单向陷门函数的TMN协议的改进 [期刊论文]
中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 254-262
孙海波; 林东岱
  |  
 

1

 

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