节点文献
认证测试与理想分析方法比较
A Comparison Between Authentication Test Method and Ideal Analysis Method
【摘要】 针对刘霞提出的改进的Server-specific MAKEP协议,利用串空间模型中的理想理论和认证测试理论对其认证性进行分析,包括响应者认证和发起者认证.结果表明,改进的SSM协议能够达到协议的认证性目标.最后对两种分析理论进行分析比较.
【Abstract】 Using the authentication test and ideal theory of strandspace model, we have analyzed the authentication of Liu Xia′s modified version of server-sp ecific MAKEP protocol.And the analysis contains responser′s authentication and sponsor′s authentication.The result shows that amended SSM protocol can reach t he goal of the authentication.At last,we have compared with two analysis methods.
【关键词】 串空间模型;
认证性;
认证测试;
理想;
【Key words】 strandspace model; authentication; authentication test; ideal;
【Key words】 strandspace model; authentication; authentication test; ideal;
【基金】 国家自然科学基金项目(60773121);安徽省自然科学基金项目(070412052);代数攻击中布尔函数的应用研究(ZRc2008169)
- 【文献出处】 淮北煤炭师范学院学报(自然科学版) ,Journal of Huaibei Coal Industry Teachers College(Natural Science Edition) , 编辑部邮箱 ,2010年01期
- 【分类号】TP393.08
- 【下载频次】32