KasperskyOS Community Edition 1.0

PSL language syntax

Basic rules

1. Declarations can be listed in any sequence in a file.
2. One declaration can be written to one or multiple lines. The second and subsequent lines of the declaration must be written with indentations relative to the first line. The closing brace that completes the declaration can be written on the top line.
3. A multi-line declaration utilizes different-sized indentations to reflect the nesting of constructs comprising this declaration. Lines of a multi-line construct enclosed in braces and the opening brace must be written with an indentation relative to the first line of this construct. The closing brace of a multi-line construct can be written with an indentation or on the first line of the construct.
4. Single-line comments and multi-line comments are supported:

   /* This is a comment

   And this, too */

   // Another comment

Types of declarations

The PSL language has the following types of declarations:

• Describing the global parameters of a solution security policy
• Including PSL files
• Including EDL files
• Creating objects of security models
• Binding methods of security models to security events
• Describing security audit profiles