| 认证测试方法的扩展及其应用 |
| |
| 引用本文： | 周清雷,毋晓英. 认证测试方法的扩展及其应用[J]. 郑州大学学报(工学版), 2010, 31(3) |
| |
| 作者姓名： | 周清雷 毋晓英 |
| |
| 作者单位： | 郑州大学,信息工程学院,河南,郑州,450001 |
| |
| 基金项目： | 国家"863"计划资助项目 |
| |
| 摘 要： | 基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.
|
| 关 键 词： | 串空间模型 认证测试 TLS协议 哈希函数 测试分量 |
Extensions to Authentication Test and Its Application |
| |
| ZHOU Qing-lei , WU Xiao-ying. Extensions to Authentication Test and Its Application[J]. Journal of Zhengzhou University: Eng Sci, 2010, 31(3) |
| |
| Authors: | ZHOU Qing-lei WU Xiao-ying |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
