中国科学院软件研究所机构知识库(ISCAS OpenIR): Search Results

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 王贵林; 卿斯汉; 周展飞 \|


Email:
Passwd
验证:
	换一张
Have you forgotten your password? Stay signed in Log In