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
- Приложения
- Лицензирование программы
- Предоставление данных
- Информация о стороннем коде
- Уведомления о товарных знаках
Часть 3. Политика безопасности решения
Часть 3. Политика безопасности решения
В предыдущих частях руководства показано, как реализовать взаимодействие между сущностями. При этом для простоты все решения собирались без модуля безопасности (ksm.module
), которым представлена подсистема Kaspersky Security System.
Между тем, именно подсистема Kaspersky Security System контролирует обращения сущностей друг к другу и другие события. Это значит, что решение можно разделить на сущности, управлять их взаимодействиями и, как следствие, повысить безопасность решения.
В этой части руководства рассматриваются:;
- синтаксис языка PSL;
- модели безопасности, поддерживаемые в Kaspersky Security System;
- пример политики безопасности решения.
В этом разделе справки Общие сведения об описании политики безопасности решения Тестирование политики безопасности решения на языке Policy Assertion Language (PAL) |
Идентификатор статьи: ch3_security, Последнее изменение: 16 февр. 2022 г.