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

Search Results

Help

Item hits: (Results 1-9 of 9)

Items/Page:    Sort:
时间相关密码协议逻辑及其形式化语义 [期刊论文]
软件学报, 2011-01-01, 卷号: 22, 期号: 3, 页码: 534-557
雷新锋; 刘军; 肖军模
  |  
 
群组密钥交换协议的设计与形式化分析 [学位论文]
博士, 软件研究所: 中国科学院软件研究所, 2006-06-04
孙海波
  |  
 
网络认证协议攻击的非形式化分析 [期刊论文]
计算机工程与应用, 2006-01-01, 期号: 22, 页码: 112-115,142
李静; 肖美华
  |  
 
基于理想的协议安全性分析 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 12, 页码: 2150-2156
孙海波; 林东岱; 李莉
  |  
 
交叉协议安全性分析 [期刊论文]
计算机工程与应用, 2004-01-01, 卷号: 40, 期号: 33
孙海波; 林东岱; 李莉
  |  
 
密码协议的一种基于组合推理的模型验证 [期刊论文]
通信学报, 2003-01-01, 卷号: 24, 期号: 9, 页码: 122-127
刘怡文; 李伟琴; 冯登国
  |  
 
国内外密码学研究现状及发展趋势 [期刊论文]
通信学报, 2002-01-01, 卷号: 23, 期号: 5
冯登国
  |  
 
运用ASM描述安全协议 [期刊论文]
中国科学院研究生院学报, 2002-01-01, 卷号: 19, 期号: 3, 页码: 263-270
薛锐; 冯登国
  |  
 
认证协议的一些新攻击方法 [期刊论文]
软件学报, 2001-01-01, 卷号: 12, 期号: 6, 页码: 907-913
王贵林; 卿斯汉; 周展飞
  |  
 

1

 

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