针对当前基于树自动模型检测工具不能构造攻击路径的问题,提出一种新的安全协议自动化检测系统TAVS。该系统能够存储临界对和推理轨迹信息,并采用回溯算法自动地构造相应的攻击路径。通过对LPD-IMSR协议进行检测,TAVS系统发现两个新的中间人攻击,并输出了相应的攻击路径。针对这两个攻击,提出改进方案并作了进一步测试,测试结果表明了改进协议的安全性。
相关报道:
特别声明:本站注明稿件来源为其他媒体的文/图等稿件均为转载稿,本站转载出于非商业性的教育和科研之目的,并不意味着赞同其观点或证实其内容的真实性。如转载稿涉及版权等问题,请作者在两周内速来电或来函联系。