Включение PSL-файлов в описание политики безопасности решения на базе KasperskyOS

Чтобы включить в описание политики PSL-файл, нужно использовать следующую декларацию:

use <ссылка на PSL-файл>._

Ссылка на PSL-файл представляет собой путь к PSL-файлу (без расширения и точки перед ним) относительно директории, где находится файл *.psl[.in], путь к которому указан в параметре SECURITY_PSL_FILE CMake-команды build_vendor_romfs (). В качестве разделителя в описании пути используется точка. Декларация завершается последовательностью символов ._.

Пример:

use policy_parts.flow_part._

Эта декларация включает в описание политики файл <path>/policy_parts/flow_part.psl, если параметр SECURITY_PSL_FILE CMake-команды build_vendor_romfs () имеет значение <path>/*.psl[.in].

Включение PSL-файла с формальным описанием модели безопасности

Чтобы использовать методы требуемой модели безопасности, нужно включить в описание политики PSL-файл с формальным описанием этой модели. PSL-файлы с формальными описаниями моделей безопасности находятся в KasperskyOS SDK по пути:

toolchain/include/nk

Пример:

/* Включение файла base.psl с формальным описанием модели

* безопасности Base */

use nk.base._

/* Включение файла flow.psl с формальным описанием модели

* безопасности Flow */

use nk.flow._