原文服务方: 计算机应用研究       
摘要:
在介绍两方密码协议运行模式分析法的基础上,运用运行模式分析法对自行设计的TW两方密码协议进行了分析,成功地发现了TW协议的攻击,并验证了此协议的安全性,说明了两方密码协议运行模式分析法的有效性.
推荐文章
三方密码协议运行模式分析法
密码协议
形式化分析
模型检测
运行模式分析法
运行模式法分析ISO/IEC密钥建立协议
信息安全
形式方法
运行模式
Helsinki密码协议
TMN密码协议的SMV分析
运行模式分析法
TMN协议
SMV
密码协议基于遍历的分析方法
密码协议
协议分析
攻击
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 运行模式法分析TW密码协议
来源期刊 计算机应用研究 学科
关键词 TW密码协议 形式化分析 运行模式
年,卷(期) 2005,(9) 所属期刊栏目 信息安全
研究方向 页码范围 108-110
页数 3页 分类号 TP309
字数 语种 中文
DOI 10.3969/j.issn.1001-3695.2005.09.037
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 王春玲 西安工程科技学院计算机学院 9 52 3.0 7.0
2 薛纪文 西安工程科技学院计算机学院 16 76 5.0 8.0
3 唐志坚 西安工程科技学院计算机学院 1 2 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (6)
共引文献  (5)
参考文献  (2)
节点文献
引证文献  (2)
同被引文献  (0)
二级引证文献  (0)
1990(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(4)
  • 参考文献(1)
  • 二级参考文献(3)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2005(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
TW密码协议
形式化分析
运行模式
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用研究
月刊
1001-3695
51-1196/TP
大16开
1984-01-01
chi
出版文献量(篇)
21004
总下载数(次)
0
总被引数(次)
238385
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导