高保证系统可观测性保护指南：高效权限切换
密码学与安全
2024-09-10 v1 操作系统
摘要
保护受损坏 OS 的系统可观测性记录（日志）近期受到广泛关注，已有多种值得注意的方法提出。然而，这些方法都未实现高性能的微小日志保护延迟，还利用风险环境进行保护（例如许多使用通用超visor 或 TrustZone，这些都具有较大的可信计算基线和攻击面）。HitchHiker 旨在纠正上述问题。该系统设计以确保（a）在高效硬件权限切换的支持下，在短且可配置的实时截止日期内对批量日志进行内存保护；（b）建立在硬件保护原语之上、采用剖减策略构建的端到端高保证环境，以实现安全日志保护、持久性和管理。安全评估和验证表明，HitchHiker 将日志保护延迟降低了 93.3%--99.3%，同时将可信计算基线降低了 9.4%--26.9 倍。性能评估显示，HitchHiker 在多样化真实程序上仅引入几乎 6% 的开销，较当前最佳方法提升了 61.9%--77.5%。
引用
@article{arxiv.2409.04484,
title = {The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches},
author = {Chuqi Zhang and Jun Zeng and Yiming Zhang and Adil Ahmad and Fengwei Zhang and Hai Jin and Zhenkai Liang},
journal= {arXiv preprint arXiv:2409.04484},
year = {2024}
}