计算机应用 ›› 2005, Vol. 25 ›› Issue (01): 138-140.DOI: 10.3724/SP.J.1087.2005.0138
• 信息安全 • 上一篇 下一篇
龙士工,罗文俊,李祥
出版日期:
发布日期:
基金资助:
贵州省自然科学基金资助项目(20043029);;贵州工业大学校内基金资助项目(2004402)
LONG Shi-gong, LUO Wen-jun, LI Xiang
Online:
Published:
摘要: 对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
关键词: 密码协议, 符号模型检测, SMV
Abstract: A method was given to analyze the cryptographic protocol using a model checker in theory. A concrete example was given using SMV kits. Results show that the method using symbol model checker can discover replay attacks upon some cryptographic protocols and is effective.
Key words: cryptographic protocol, symbolic model checking, SMV
中图分类号:
TN918.1
龙士工,罗文俊,李祥. 密码协议的符号模型检测及分析[J]. 计算机应用, 2005, 25(01): 138-140.
LONG Shi-gong, LUO Wen-jun, LI Xiang. Symbolic model checking analysis for cryptographic protocol[J]. Journal of Computer Applications, 2005, 25(01): 138-140.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://www.joca.cn/CN/10.3724/SP.J.1087.2005.0138
http://www.joca.cn/CN/Y2005/V25/I01/138