In this Help section
Formal specifications of KasperskyOS-based solution components
Describing a security policy for a KasperskyOS-based solution
Methods of KasperskyOS core endpoints