HaCRS的崛起：以人类辅助增强自主网络推理系统
密码学与安全
2017-08-10 v1 人机交互
摘要
随着软件系统规模和复杂性的增加，软件安全漏洞的数量和复杂性也随之增加。对这些漏洞的分析最初采用人工方法，但很快人们意识到需要工具来辅助人类专家完成这项任务，从而产生了许多使漏洞分析过程部分自动化的技术和方法。最近，DARPA举办了网络大挑战赛，这是一项自主漏洞分析系统之间的竞赛，旨在将工具辅助的以人为中心的范式推向完全自动化的领域。然而，当自主系统与人类专家对抗时，很明显某些任务虽然简单，但自主系统无法完成，因为它们需要理解被分析应用程序的逻辑。基于这一观察，我们提出漏洞分析范式的转变，从工具辅助的以人为中心转变为人类辅助的以工具为中心。在这种范式中，自动化系统编排漏洞分析过程，并利用人类（具有不同专业水平）执行明确定义的子任务，其结果被整合到分析中。因此，可以将分析扩展到更大数量的程序，同时优化昂贵人力资源的使用。在本文中，我们详细介绍了人类辅助的自动漏洞分析系统的设计，描述了其在参与网络大挑战赛的开源自主漏洞分析系统之上的实现，并评估和讨论了非专家人类辅助可以为自动分析方法提供的显著改进。
引用
@article{arxiv.1708.02749,
title = {Rise of the HaCRS: Augmenting Autonomous Cyber Reasoning Systems with Human Assistance},
author = {Yan Shoshitaishvili and Michael Weissbacher and Lukas Dresel and Christopher Salls and Ruoyu Wang and Christopher Kruegel and Giovanni Vigna},
journal= {arXiv preprint arXiv:1708.02749},
year = {2017}
}