J4 ›› 2004, Vol. 26 ›› Issue (2): 28-31.
• 论文 • 上一篇 下一篇
刘锋[1] 李舟军[2] 李梦君[1] 宋震[1] 张艳[3]
出版日期:
发布日期:
Online:
Published:
摘要：
SMV是一个基于线性时态逻辑的符号化模型检验工具。本文利用SMV对Needham-Schroeder公钥协议的简化版本进行了验证，发现了利用消息重放进行的攻击。
关键词: SMV 安全协议 消息重放 计算机网络 网络安全
刘锋[1] 李舟军[2] 李梦君[1] 宋震[1] 张艳[3]. 基于SMV的安全协议模型检验[J]. J4, 2004, 26(2): 28-31.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2004/V26/I2/28
