1. 首页
  2. 编程语言
  3. 其他
  4. 论文研究基于树自动的安全协议自动化检测系统 .pdf

论文研究基于树自动的安全协议自动化检测系统 .pdf

上传者: 2019-09-06 08:48:30上传 PDF文件 276.74KB 热度 21次
基于树自动的安全协议自动化检测系统,秦好磊,马文平,针对当前基于树自动模型检测工具不能构造攻击路径的问题,提出一种新的安全协议自动化检测系统TAVS。该系统能够存储临界对和推理��
用户评论