基于树自动的安全协议自动化检测系统

摘要：

针对当前基于树自动模型检测工具不能构造攻击路径的问题，提出一种新的安全协议自动化检测系统 TAVS。该系统能够存储临界对和推理轨迹信息，并采用回溯算法自动地构造相应的攻击路径。通过对LPD-IMSR协议进行检测，TAVS系统发现两个新的中间人攻击，并输出了相应的攻击路径。针对这两个攻击，提出改进方案并作了进一步测试，测试结果表明了改进协议的安全性。

关键词：安全协议、形式化分析、树自动机、LPD-IMSR协议、中间人攻击

分类号：TP3;TJ7

资助基金：高等学校博士学科点专项科研基金20100203110003；国家自然科学基金60773002；国家自然科学基金61072140；高等学校创新引智计划B08038；基本科研业务费-团队项目JY10000901034

在线出版日期：2014-01-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：20-28