Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces
复制标题

DOI：
10.1145/3593856.3595914
复制
发表时间：
2023-06
期刊：
Proceedings of the 19th Workshop on Hot Topics in Operating Systems
影响因子：
--
通讯作者：
A. Burtsev;Vikram Narayanan;Yongzhe Huang;Kaiming Huang;Gang Tan;T. Jaeger
A. Burtsev;Vikram Narayanan;Yongzhe Huang;Kaiming Huang;Gang Tan;T. Jaeger
中科院分区：
其他
文献类型：
--
作者：
A. Burtsev;Vikram Narayanan;Yongzhe Huang;Kaiming Huang;Gang Tan;T. Jaeger

文献摘要

相似文献

我们的工作探讨了开发旨在保护内核免受隔离核扩展的旨在保护安全的内核驱动器界面的挑战。我们首先分析当前隔离框架中存在的一系列可能的攻击向量。然后，我们建议一种新的方法来构建围绕安全操作系统的想法的安全隔离边界：堆积和单人所有权的隔离。
Our work explores the challenge of developing secure kernel-driver interfaces designed to protect the kernel from isolated kernel extensions. We first analyze a range of possible attack vectors that exist in current isolation frameworks. Then, we suggest a new approach to building secure isolation boundaries centered around ideas that originate in safe operating systems: isolation of heaps and single ownership.