HyperGI:信息流泄漏的自动检测与修复
软件工程
2021-08-30 v1 密码学与安全
摘要
在软件中维持机密信息控制是一个持久的安全问题,其失效意味着秘密可通过程序行为被泄露。信息流控制技术传统上基于静态或符号分析——在可扩展性上受限且专用于特定语言。当程序确实泄露秘密时,除非泄漏导致某个功能测试失败,否则不存在自动修复方法。我们提出 HyperGI 的愿景,这是一个检测、定位并修复信息泄漏的遗传改进框架。HyperGI 的关键要素包括(1)使用两套正交测试套件,(2)一种估计并定位潜在泄漏的动态泄漏检测方法,以及(3)一个利用遗传改进生成候选补丁的修复组件。我们在多个无失败功能测试的程序上展示了 HyperGI 的成功使用。我们人工检查所得补丁,并明确了权衡与完全实现该愿景的未来方向。
引用
@article{arxiv.2108.12075,
title = {HyperGI: Automated Detection and Repair of Information Flow Leakage},
author = {Ibrahim Mesecan and Daniel Blackwell and David Clark and Myra B. Cohen and Justyna Petke},
journal= {arXiv preprint arXiv:2108.12075},
year = {2021}
}