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. Политика безопасности решения > Модели безопасности > Модель безопасности HashSet
Модель безопасности HashSet
Модель безопасности HashSet
Модель безопасности HashSet позволяет ассоциировать с ресурсами одномерные таблицы уникальных значений одного типа, добавлять и удалять эти значения, а также проверять, входит ли заданное значение в таблицу. Например, можно ассоциировать сущность, в контексте которой выполняется сетевой сервер, с набором портов, который разрешено открывать этому серверу. Эту ассоциацию можно использовать, чтобы проверить, допустимо ли открытие порта, инициированное сервером.
PSL-файл с описанием модели безопасности HashSet находится в KasperskyOS SDK по пути:
toolchain/include/nk/hashmap.psl
В этом разделе Объект модели безопасности HashSet Правило init модели безопасности HashSet Правило fini модели безопасности HashSet Правило add модели безопасности HashSet |
Идентификатор статьи: ssp_descr_security_models_hashset, Последнее изменение: 16 февр. 2022 г.