10.3969/j.issn.1671-6833.2010.03.013
认证测试方法的扩展及其应用
基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.
串空间模型、认证测试、TLS协议、哈希函数、测试分量
31
TP309(计算技术、计算机技术)
国家"863"计划资助项目2007AA010408
2011-08-17(万方平台首次上网日期,不代表论文的发表时间)
共4页
50-53