CARVE：基于简单特征集映射的实用安全导向软件瘦身方法
密码学与安全
2019-09-10 v1 软件工程
摘要
软件瘦身是一个新兴的研究领域，旨在通过移除最终用户不需要的多余库代码和特性（称为bloat）来改善软件的安全性和性能。软件bloat普遍存在，并且已经提出了几种瘦身技术来解决这一问题。虽然这些技术在减少bloat方面有效，但它们对普通用户不实用，有产生不健全程序和引入漏洞的风险，并且不太适合对网络协议实现等复杂软件进行瘦身。在本文中，我们提出了CARVE，一种简单而有效的安全导向瘦身技术，它克服了这些局限性。CARVE采用静态源代码注解将软件特性映射到源代码，消除了瘦身过程中对高级软件分析的需求，并降低了用户所需的技术复杂度。CARVE通过引入带替换的瘦身超越了现有技术，这是一种能够保持软件互操作性并降低产生不健全程序或引入漏洞风险的技术。我们在12个瘦身场景中评估了CARVE，并展示了达到或超过现有技术的安全和性能改进。
引用
@article{arxiv.1907.02180,
title = {CARVE: Practical Security-Focused Software Debloating Using Simple Feature Set Mappings},
author = {Michael D. Brown and Santosh Pande},
journal= {arXiv preprint arXiv:1907.02180},
year = {2019}
}
备注
8 pages, 4 figures, 2 tables, 1 appendix