认证测试与理想分析方法比较

A Comparison Between Authentication Test Method and Ideal Analysis Method

针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.

Using the authentication test and ideal theory of strandspace model, we have analyzed the authentication of Liu Xia＇s modified version of server-specific MAKEP protocol. And the analysis contains responser＇s authentication and sponsor＇s authentication. The result shows that amended SSM protocol can reach the goal of the authentication. At last, we have compared with two analysis methods.