内存安全标准化：迈向更安全的软件未来

数十年来，软件可信计算基（TCB）中普遍存在的内存安全漏洞导致恶意软件传播和针对关键基础设施、国家安全目标、公司和个人的破坏性攻击。本文探讨了内存安全标准化的重要性，这对于在政府和行业中推广普遍的强内存安全至关重要。近年来，一系列强大的内存安全技术（包括内存安全语言、硬件和软件保护、形式化方法和软件分隔）已经足够成熟，可以用于安全关键型用例。然而，目前缺乏通用的、与技术无关的术语或框架来规范内存安全要求。标准化将改善行业最佳实践，并有助于解决市场失灵问题，从而促进这些技术的采用。