Srovnání a analýza separačních kernelů

Abstract

Tato práce zkoumá použití separačních kernelů v systémech s vysokou mírou důvěryhodnosti, které se zaměřují na zvýšení bezpečnosti a spolehlivosti, přičemž se soustředí na dvě konkrétní implementace: Muen a seL4. Porovnáním separačních kernelů s operačními systémy reálneho času a tradičními operačními systémy tato práce poukazuje na výhody separačních kernelů v prostředí se zvýšenými požadavky na bezpečnost a spolehlivost. Případová studie demonstruje integraci unikernelů v rámci separačního kernelu pro zajištění bezpečné komunikace mezi izolovanými komponentami. Zjištění ilustrují potenciál separačních kernelů splnit náročné požadavky systémů s vysokou mírou důvěryhodnosti a nabízejí dobré řešení pro odvětví, kde jsou vysoké bezpečnostní záruky nezbytné.

This thesis explores the use of separation kernels in high-assurance systems to enhance security and reliability, with a focus on two specific implementations: Muen SK and seL4. By comparing separation kernels with real-time operating systems and traditional operating systems, this work highlights the advantages of separation kernels in environments where security and reliability are at the forefront. A case study demonstrates integration of unikernels within a separation kernel to ensure secure communication between isolated components. The findings illustrate the potential of separation kernels to meet demanding requirements of high-assurance systems, offering a good solution for industries, where high security guarantees are essential.