基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
系统研究了认证测试方法的应用原理,并将该方法应用于包含两方主体的Needham-Schroeder和包含三方主体的Woo-Lam认证协议的分析中.最后通过比较认证测试方法和BAN逻辑在安全协议分析中的应用说明了认证测试方法具有分析过程简捷、形式化描述规范的优点.
推荐文章
串空间和认证测试在协议分析中的应用
安全协议
串空间
认证测试
x.509
基于扩展的认证测试的改进迂回路由协议的安全分析
移动IPv6
迂回路由协议
认证测试
安全
面向变异分析的协议安全测试方法
协议安全测试
构造类别代数
变异分析
网络安全中认证协议的分析与比较
身分认证
网络安全
密钥
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 认证测试方法在安全协议分析中的应用
来源期刊 计算机工程 学科 工学
关键词 安全协议 串空间 认证测试
年,卷(期) 2006,(2) 所属期刊栏目 博士论文
研究方向 页码范围 19-22
页数 4页 分类号 TN913.2
字数 5237字 语种 中文
DOI 10.3969/j.issn.1000-3428.2006.02.007
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 杨树堂 上海交通大学电子工程系 77 745 16.0 23.0
2 诸鸿文 上海交通大学电子工程系 181 1218 17.0 25.0
3 李建华 上海交通大学电子工程系 336 2966 25.0 36.0
4 李谢华 上海交通大学电子工程系 6 54 5.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (3)
共引文献  (3)
参考文献  (5)
节点文献
引证文献  (10)
同被引文献  (6)
二级引证文献  (19)
1978(1)
  • 参考文献(1)
  • 二级参考文献(0)
1990(2)
  • 参考文献(1)
  • 二级参考文献(1)
1995(2)
  • 参考文献(1)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2007(4)
  • 引证文献(3)
  • 二级引证文献(1)
2008(2)
  • 引证文献(1)
  • 二级引证文献(1)
2009(9)
  • 引证文献(4)
  • 二级引证文献(5)
2010(3)
  • 引证文献(1)
  • 二级引证文献(2)
2011(1)
  • 引证文献(0)
  • 二级引证文献(1)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2013(2)
  • 引证文献(0)
  • 二级引证文献(2)
2014(2)
  • 引证文献(1)
  • 二级引证文献(1)
2015(3)
  • 引证文献(0)
  • 二级引证文献(3)
2020(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
安全协议
串空间
认证测试
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程
月刊
1000-3428
31-1289/TP
大16开
上海市桂林路418号
4-310
1975
chi
出版文献量(篇)
31987
总下载数(次)
53
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导