期刊文献+

基于串空间极小元理论的改进Woo-Lam协议的认证性分析 被引量:1

Authentication Analysis of Improvement Woo-Lam Protocol Based on the Minimal Members Theory of Strand Space
下载PDF
导出
摘要 通过对Woo-Lam协议自身特点的分析,把协议分为信息收集和主体认证两部分;并参考原协议的攻击方式,基于串空间模型运用极小元理论对改进Woo-Lam协议的认证部分进行认证性分析。 Through the analysis to the Woo-Lam protocol's own characteristics, the protocol was divided into two sections which respectively were the information collection part and the authenticates part, and referred to the attack forms of the original protocol, based on the minimal members theory of strand space model, the authentication analysis was carried on to the authenticates part of the improvement Woo-Lain protocol.
出处 《电脑编程技巧与维护》 2010年第4期50-52,共3页 Computer Programming Skills & Maintenance
关键词 串空间 极小元 认证性 Strand space minimal members authentication
  • 相关文献

参考文献3

  • 1Fabrega FJT, Herzog JC, Guttman JD. Strand spaces: Why is a security protocol correct? [C] // Proceeding of the 1998 IEEE Symposium on Security and Privacy. Los Alamitos: IEEE Computer Press, 1995: 160-171.
  • 2Fabrega FJT, Herzog JC, Guttman JD. Strand spaces: Proving security protocols correct [J] . Journal of Computer Security, 1999, 7 (2-3) : 191-230.
  • 3李廷元 秦志光 刘晓东 张选芳.基于认证测试方法的Woo-Lam协议的分析及改进.计算机科学,2009,36(4):206-218.

同被引文献4

  • 1薛锐.安全协议的形式化分析方法及其发展现状[M].中国密码学发展报告2008,电子工业出版社,2009:103.138.
  • 2F J&vier Th&yer Fdbreg&, Jonathan C Hermg, Joshua D Guttman. Journal of Strand spacers: Proving security protocols correct Computer Security, ;999, 7(2-5): 191-230.
  • 3Guttm&n JD, Fdbreg& FJT.Authentie&tion tests &rid the strueture of bundles.Theoretic&l Computer Science, 2002,255(2): 333-380.
  • 4赵自强,胡国彪,张玉中.改进型Otway-Rees协议的串空间模型分析[J].科技风,2011(6):70-71. 被引量:1

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部