В этом разделе справки
Формальные спецификации компонентов решения на базе KasperskyOS
Описание политики безопасности решения на базе KasperskyOS
Методы служб ядра KasperskyOS