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

作者：秦好磊; 马文平; 杨原元

来源：新型工业化, 2011, (08): 20-28.

DOI：10.19335/j.cnki.2095-6649.2011.08.004

• 安全协议
• 形式化分析
• 树自动机
• LPD-IMSR协议
• 中间人攻击 Security Protocol
• Formal Analysis
• Tree Automata
• the LPD-IMSR Protocol
• Man-in the-middle Attack

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

• 单位
  西安电子科技大学