Синтаксис языка PSL

Базовые правила

1. Декларации могут располагаться в файле в любом порядке.
2. Одна декларация может быть записана в одну или несколько строк. Вторая и последующие строки декларации должны быть записаны с отступами относительно первой строки. Закрывающая фигурная скобка, которая завершает декларацию, может быть записана на уровне первой строки.
3. В многострочной декларации используются отступы разных размеров, чтобы отразить вложенность конструкций, составляющих эту декларацию. Вторая и последующие строки многострочной конструкции, заключенные в фигурные скобки, должны быть записаны с отступом относительно первой строки этой конструкции. Закрывающая фигурная скобка многострочной конструкции может быть записана с отступом или на уровне первой строки конструкции.
4. Язык PSL чувствителен к регистру символов.
5. Поддерживаются однострочные и многострочные комментарии:

   /* Это комментарий

   * И это тоже */

   // Ещё один комментарий

Типы деклараций

В языке PSL есть следующие типы деклараций:

• описание глобальных параметров политики безопасности решения;
• включение PSL-файлов;
• включение EDL-файлов;
• создание объектов моделей безопасности;
• привязка методов моделей безопасности к событиям безопасности;
• описание профилей аудита безопасности;
• описание тестов политики безопасности решения.