KasperskyOS Community Edition 1.0
- Что нового
- О KasperskyOS Community Edition
- KasperskyOS: обзор
- Начало работы
- Часть 1. Простейшее приложение (POSIX)
- Часть 2. Взаимодействие сущностей
- Часть 3. Политика безопасности решения
- Общие сведения об описании политики безопасности решения
- Синтаксис языка PSL
- Описание глобальных параметров политики безопасности решения
- Включение PSL-файлов
- Включение EDL-файлов
- Создание объектов моделей безопасности
- Привязка методов моделей безопасности к событиям безопасности
- Описание профилей аудита безопасности
- Типы данных в языке PSL
- Пример простейшей политики безопасности решения
- Модели безопасности
- Модель безопасности Pred
- Модель безопасности Bool
- Модель безопасности Math
- Модель безопасности Struct
- Модель безопасности Base
- Модель безопасности Regex
- Модель безопасности HashSet
- Модель безопасности StaticMap
- Объект модели безопасности StaticMap
- Правило init модели безопасности StaticMap
- Правило fini модели безопасности StaticMap
- Правило set модели безопасности StaticMap
- Правило commit модели безопасности StaticMap
- Правило rollback модели безопасности StaticMap
- Выражение get модели безопасности StaticMap
- Выражение get_uncommited модели безопасности StaticMap
- Модель безопасности Flow
- Пример ping
- Тестирование политики безопасности решения на языке Policy Assertion Language (PAL)
- KasperskyOS API
- Паттерны безопасности при разработке под KasperskyOS
- Приложения
- Лицензирование программы
- Предоставление данных
- Информация о стороннем коде
- Уведомления о товарных знаках
KasperskyOS: обзор > Контроль взаимодействий > Язык описания политик PSL
Язык описания политик PSL
Язык описания политик PSL
Важнейшая часть технологии Kaspersky Security System – это язык PSL (Policy Specification Language). Он позволяет формально, близко к терминам самой задачи, описать политику безопасности решения. На основе полученного psl-описания генерируется код модуля безопасности Kaspersky Security Module под конкретное решение. Для этого используется компилятор NK, поставляемый в составе KasperskyOS Community Edition. Таким образом, psl-описание решения является связующим звеном между неформальным описанием политики и ее реализацией.
Язык PSL позволяет использовать различные структуры данных и комбинировать несколько моделей безопасности.
Идентификатор статьи: overview_psl, Последнее изменение: 16 февр. 2022 г.