Journal of Computer Applications ›› 2005, Vol. 25 ›› Issue (01): 138-140.DOI: 10.3724/SP.J.1087.2005.0138
• Information security • Previous Articles Next Articles
LONG Shi-gong, LUO Wen-jun, LI Xiang
Online:
Published:
龙士工,罗文俊,李祥
基金资助:
贵州省自然科学基金资助项目(20043029);;贵州工业大学校内基金资助项目(2004402)
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
摘要: 对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
关键词: 密码协议, 符号模型检测, SMV
CLC Number:
TN918.1
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.
龙士工,罗文俊,李祥. 密码协议的符号模型检测及分析[J]. 计算机应用, 2005, 25(01): 138-140.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://www.joca.cn/EN/10.3724/SP.J.1087.2005.0138
http://www.joca.cn/EN/Y2005/V25/I01/138