节点文献

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

A Comparison Between Authentication Test Method and Ideal Analysis Method

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 郭宇燕魏仕民曹浩

【Author】 GUO Yu-yan1,WEI Shi-min2,CAO Hao3 1.Dept.of Computer Science & Technique,Suzhou University,234000,Suzhou,Anhui,Ch ina; 2.School of Computer Science and Technology,Huaibei Coal Industry Teachers Col lege,235000,Huaibei,Anhui,China; 3.Anhui Science and Technology University,233001,Bengbu,Anhui,China)

【机构】 宿州学院计算机科学与技术系淮北煤炭师范学院计算机科学与技术学院安徽科技学院理学院

【摘要】 针对刘霞提出的改进的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 modelauthenticationauthentication testideal
【基金】 国家自然科学基金项目(60773121);安徽省自然科学基金项目(070412052);代数攻击中布尔函数的应用研究(ZRc2008169)
  • 【文献出处】 淮北煤炭师范学院学报(自然科学版) ,Journal of Huaibei Coal Industry Teachers College(Natural Science Edition) , 编辑部邮箱 ,2010年01期
  • 【分类号】TP393.08
  • 【下载频次】32
节点文献中: 

本文链接的文献网络图示:

本文的引文网络