Key points are not available for this paper at this time.
Die Zertifizierung eines gesamten Betriebssystems als zuverlässig ist eine zu große Aufgabe, um praktikabel zu sein. Stattdessen entwerfen wir einen Sicherheitskernel, der Informationssicherheit bieten wird. Die Aufgabe des Kernels besteht darin, den Informationsfluss zu überwachen, um eine Kompromittierung der Sicherheit zu verhindern.
Walter et al. (Mi.) haben diese Frage untersucht.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: