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

A Comparison Between Authentication Test Method and Ideal Analysis Method

作　　者：郭宇燕[1] 魏仕民[2] 曹浩[3] 

机构地区：[1]宿州学院计算机科学与技术系,安徽宿州234000 [2]淮北煤炭师范学院计算机科学与技术学院,安徽淮北235000 [3]安徽科技学院理学院,安徽蚌埠233001

出　　处：《淮北煤炭师范学院学报（自然科学版）》2010年第1期34-37,共4页Journal of Huaibei Coal Industry Teachers College(Natural Science edition)

基　　金：国家自然科学基金项目(60773121);安徽省自然科学基金项目(070412052);代数攻击中布尔函数的应用研究(ZRc2008169)

摘　　要：针对刘霞提出的改进的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.

关 键 词：串空间模型 认证性 认证测试 理想 

分 类 号：TN918.1[电子电信—通信与信息系统]