计算机工程与应用 ›› 2010, Vol. 46 ›› Issue (19): 100-102.DOI: 10.3778/j.issn.1002-8331.2010.19.029
李廷元1,2,秦志光1,刘晓东2,张选芳2
LI Ting-yuan1,2,QIN Zhi-guang1,LIU Xiao-dong2,ZHANG Xuan-fang2
摘要: 在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Needham- Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。
中图分类号: