Separation kernel
id:
separation-kernel-264-12819130
title:
Separation kernel
text:
A separation kernel is a type of security kernel used to simulate a distributed environment. The concept was introduced by John Rushby in a 1981 paper. Rushby proposed the separation kernel as a solution to the difficulties and problems that had arisen in the development and verification of large, complex security kernels that were intended to "provide multilevel secure operation on general-purpose multi-user systems." According to Rushby, "the task of a separation kernel is to create an environ
brand slug:
wiki
category slug:
encyclopedia
description:
Type of computer kernel
original url:
https://en.wikipedia.org/wiki/Separation_kernel
date created:
date modified:
2022-08-15T14:31:18Z
main entity:
{"identifier":"Q7451813","url":"https://www.wikidata.org/entity/Q7451813"}
image:
fields total:
13
integrity:
14