A cyber immune system consists of isolated parts (security domains in MILS terms) that can interact with one another only through a separation kernel, i.e. in a controlled manner. In KasperskyOS, security domains are implemented as entities.
In this section
Entities
Communication of entities (IPC)
Describing entities' interfaces (EDL, CDL, IDL)
IPC transport