基于树自动的安全协议自动化检测系统,秦好磊,马文平,针对当前基于树自动模型检测工具不能构造攻击路径的问题,提出一种新的安全协议自动化检测系统TAVS。该系统能够存储临界对和推理��