FRAMER/Miu：基于标记指针的能力系统及内存安全与一致性的基本成本（位置论文）
密码学与安全
2024-08-28 v1
摘要
确保系统正确性，例如内存安全，可以消除攻击者可能首先利用的安全漏洞。然而，高且不可预测的性能降低仍是首要挑战。鉴于为实现完整系统正确性在实际部署中极其困难，研究人员在性能、检测覆盖范围、互操作性、精度和检测时机之间进行权衡。本研究在全面系统保护与获取其所需成本之间取得平衡，确定了软件和硬件的理想角色，并提出了一种基于标记指针的能力系统，作为独立的软件解决方案以及未来硬件设计的原型。本文介绍了为实现这些目标而进行的FRAMER/Miu通用框架的后续计划。
引用
@article{arxiv.2408.15219,
title = {FRAMER/Miu: Tagged Pointer-based Capability and Fundamental Cost of Memory Safety & Coherence (Position Paper)},
author = {Myoung Jin Nam},
journal= {arXiv preprint arXiv:2408.15219},
year = {2024}
}
备注
8 pages, 4 figures