KasperskyOS Community Edition 1.0

Isolation and interaction between entities

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