期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于认证测试的通用安全协议设计方法
被引量：
4
1
作者
李谢华
李建华
杨树堂
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2006年第3期524-527,共4页
以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有...
以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题.
展开更多
关键词
安全
协议
认证测试
needham
-
schroeder
公钥
协议
下载PDF
职称材料
密码协议的SMV分析:实例研究
被引量：
1
2
作者
张玉清
朱宏儒
肖国镇
《计算机工程》
CAS
CSCD
北大核心
1999年第S1期156-158,共3页
SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可村住，用SMV分析了Needham－Schroeder公钥协议。并成功地找到了对此协议的著名攻击．
关键词
模型检测
needham
-
schroeder
公钥
密码
协议
SMV
下载PDF
职称材料
题名
基于认证测试的通用安全协议设计方法
被引量：
4
1
作者
李谢华
李建华
杨树堂
机构
上海交通大学电子工程系
出处
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2006年第3期524-527,共4页
基金
国家高技术研究发展计划(863)项目(2002AA145090)
文摘
以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题.
关键词
安全
协议
认证测试
needham
-
schroeder
公钥
协议
Keywords
security protocol
authentication tests
needham
-
schroeder
public-key protocol
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
密码协议的SMV分析:实例研究
被引量：
1
2
作者
张玉清
朱宏儒
肖国镇
机构
西安电子科技大学信息保密研究所
出处
《计算机工程》
CAS
CSCD
北大核心
1999年第S1期156-158,共3页
基金
国家自然科学基金
文摘
SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可村住，用SMV分析了Needham－Schroeder公钥协议。并成功地找到了对此协议的著名攻击．
关键词
模型检测
needham
-
schroeder
公钥
密码
协议
SMV
Keywords
Model checking
needham
-
schroeder
public-key cryptographic protocol
SMV
分类号
TN918.1 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于认证测试的通用安全协议设计方法
李谢华
李建华
杨树堂
《上海交通大学学报》
EI
CAS
CSCD
北大核心
2006
4
下载PDF
职称材料
2
密码协议的SMV分析:实例研究
张玉清
朱宏儒
肖国镇
《计算机工程》
CAS
CSCD
北大核心
1999
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
