Вспомогательные модели безопасности

К вспомогательным относятся следующие модели безопасности:

• Pred – операции сравнения;
• Bool – логические операции;
• Math – операции целочисленной арифметики, побитовые операции и операции приведения целочисленных типов;
• Struct – доступ к структурным элементам данных.

PSL-файл с описаниями вспомогательных моделей безопасности находится в KasperskyOS SDK по пути:

toolchain/include/nk/basic.psl