[1]唐郑熠 李均涛 李祥.针对A（0）协议的新鲜性攻击及改进方案[J].计算机技术与发展,2009,(10):164-166.
　TANG Zheng-yi,LI Jun-tao,LI Xiang.A Freshness Attack for A（0） Protocol and Improved Scheme[J].,2009,(10):164-166.
点击复制

针对A（0）协议的新鲜性攻击及改进方案()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2009年10期
页码:
164-166
栏目:
安全与防范
出版日期:
1900-01-01

文章信息/Info

Title:
A Freshness Attack for A（0） Protocol and Improved Scheme
文章编号:
1673-629X（2009）10-0164-03
作者:
唐郑熠 李均涛 李祥
贵州大学计算机软件与理论研究所
Author(s):
TANG Zheng-yi;  LI Jun-tao;  LI Xiang
Institute of Computer Software and Theory, Guizhou university
关键词:
A（0）; 新鲜性; 协议攻击; 模型检测; SPIN; Promela
Keywords:
A（0） ;  freshness;  protocol attack： model checking;  SPIN;  Promela
分类号:
TP393.08
文献标志码:
A
摘要:
非形式化方法很难保证认证协议的安全性，因此对于形式化方法的研究与应用具有重要的意义，模型检测技术就是其中的一种。该文介绍了使用模型检测工具SPIN和Promela语言对A（0）协议进行建模检测的方法，并从检测结果中发现了A（0）协议无法保证公开协商密钥证书新鲜性的缺陷。据此设计出了针对A（0）协议的新鲜性攻击方法，并提出了弥补其新鲜性缺陷的改进方案。由此可见，使用模型检测技术可以高效便捷地对认证协议进行分析
Abstract:
Informal methods are difficult to ensure the security of authentication protoools, so the research and application of the formal methods is very important. The model checking technology is one of the formal methods. Introduce the method of constructing an

相似文献/References:

[1]郝伟伟,吕 磊.基于伪随机数发生器的移动 RFID 双向认证算法[J].计算机技术与发展,2022,32(05):93.[doi:10. 3969 / j. issn. 1673-629X. 2022. 05. 016]
　HAO Wei-wei,LYU Lei.Mobile RFID Bidirectional Authentication Algorithm Based on Pseudo Random Number Generator[J].,2022,32(10):93.[doi:10. 3969 / j. issn. 1673-629X. 2022. 05. 016]

备注/Memo

备注/Memo:
美国GeneChiu基金资助项目（GFC2006-001）唐郑熠（1984-），男，硕士研究生，研究方向为模型检测、协议分析；李祥，教授，博士生导师，研究方向为计算复杂性、密码学
更新日期/Last Update: 1900-01-01