搜索筛选:
搜索耗时0.0730秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：秦好磊,马文平,杨原元,
来源：新型工业化 年份：2011
针对当前基于树自动模型检测工具不能构造攻击路径的问题，提出一种新的安全协议自动化检测系统 TAVS。该系统能够存储临界对和推理轨迹信息，并采用回溯算法自动地构造相应的攻......
相关搜索：
