期刊文献+

一种改进的基于认证测试的形式化分析方法 预览

An Improved Formal Analysis Method Based on Authentication Tests
在线阅读 下载PDF
分享 导出
摘要 近年来,认证测试定理得到了改进,并应用于各种安全协议的分析。但是这些改进定理在应用范围和准确性方面存在一定的缺陷。针对这些缺陷,文章提出了一种改进的输入测试定理及加密测试定理,并给出了改进定理的证明。通过分析认证测试中常规节点的判定、证明过程中的错误、参数一致性证明过程中的不准确性和错误,指出了认证测试在使用过程中的缺陷。基于这些缺陷,文章提出了一种改进的基于认证测试的形式化分析方法递归测试,并通过该方法证明了BAN-Yahalom协议。分析结果表明,该方法扩大了认证测试使用范围,且可以有效地、准确地分析安全协议。 In recent years,authentication tests has been improved and applied to the analysis of various security protocols.However,these improvement theorems also have certain defects in terms of application scope and accuracy.In response to these defects,in this paper,improved incoming test theorem and encryption test theorem are proposed,and proof of the improvement theorem is given.This paper points out the defects of the authentication test in use by analyzing the judgment of the normal nodes in the authentication test,the errors in the proof process,and the inaccuracies and errors in the process of parameter consistency verification.Based on these defects,an improved formal analysis method recursion test is proposed.This method is used to prove BAN-Yahalom protocol,the result proves this method has expanded the scope of the use of authentication tests,and can analyze the security protocol effectively,accurately.
作者 姚萌萌 朱正超 刘明达 YAO Mengmeng;ZHU Zhengchao;LIU Mingda(Jiangnan Institute of Computing Technology,Wuxi Jiangsu 214063,China)
出处 《信息网络安全》 CSCD 北大核心 2019年第1期27-33,共7页 Netinfo Security
基金 国家自然科学基金[91430214,6732018] 核高基重大专项C2017ZX01028101].
关键词 串空间 认证测试 形式化分析方法 安全协议 strand space authentication tests formal analysis method security protocol
作者简介 通信作者:姚萌萌(1982-),男,山东,博士研究生,主要研究方向为网络安全,wellstudy@163.com;朱正超(1974-),男,湖南,高级工程师,硕士,主要研究方向为信息安全;刘明达(1991-),男,山东,博士研究生,主要研究方向为区块链技术。
  • 相关文献

参考文献11

二级参考文献150

共引文献21

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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