认证测试方法的扩展及其应用

Extensions to Authentication Test and Its Application

基于串空间模型的认证测试方法分析协议的安全性有一定的局限性,只能分析有限的协议.因此,对基于串空间模型的认证测试方法进行了扩展,通过修改测试分量和认证测试规则,对该方法进行了改进,运用扩展后的认证测试方法对使用签名和哈希函数的TLS协议进行了分析,扩大了认证测试方法的使用范围;并提出了对测试分量新鲜性的检验,进一步完善了认证测试方法.

Authentication test method has certain limitations in analyzing the safety of security protocol because of its limited analysis area.Therefore,authentication test method based on the strand space model was extended by modifying the test component and authentication test rules to improve the method.This revised method is used for the firt time to analyze TLS protocol that included signature and hash function.It enlarged analyzing area of authentication test.Furthermore,the paper pointed out that It is necessary to check up freshment of the test segment,which makes authentication test method more perfect.