Auxiliary security models

The following security models are considered auxiliary:

• Pred – comparison operations
• Bool – logical operations
• Math – integer arithmetic operations, bitwise operations, and integer type casting operations
• Struct – access to structural data elements

The PSL file containing descriptions of auxiliary security models is located in the KasperskyOS SDK at the following path:

toolchain/include/nk/basic.psl

In this section Pred security model Bool security model Math security model Struct security model Precedence and associativity of auxiliary security model expressions

Page top