全部 标题 作者 关键词 摘要
, PP. 68-71
Keywords: 类型缺陷,模型检验,安全协议,符号模型检验
Full-Text Cite this paper Add to My Lib
在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.
Full-Text
Contact Us
service@oalib.com
QQ:3279437679
WhatsApp +8615387084133
