Пример ping

Демонстрирует использование политики безопасности решения для управления IPC-взаимодействием между программами.

IPC-соединения между программами устанавливаются динамически с использованием системной программы DCM, в которой серверы публикуют свои интерфейсы, а клиенты могут присоединиться к ранее опубликованным интерфейсам. Важно заметить, что одна и та же программа может одновременно выступать в роли клиента и сервера и взаимодействовать с DCM и как клиент, и как сервер.

Директория примера в SDK

Код примера и скрипты для сборки находятся по следующему пути:

/opt/KasperskyOS-Community-Edition-<platform>-<version>/examples/ping

Список программ

• В пример входят системные программы, поставляемые в загрузочном образе KasperskyOS, а также дополнительные системные программы и драйверы, необходимые для работы с эмулятором или конкретной аппаратной платформе, где будет запускаться решение. Подробнее см. "Архитектура и запуск решения на базе KasperskyOS".

  Системные программы добавляются в образ решения автоматически при сборке.

• Client – прикладная программа, которая вызывает методы Ping() и Pong(). В скрипте сборки программы (файл ./client/CMakeLists.txt) содержатся инструкции для упаковки прикладной программы в KPA-пакет.
• Server – прикладная программа, которая реализует методы Ping() и Pong(), увеличивающие полученное от клиента число на фиксированную величину и возвращающие полученный результат. В скрипте сборки программы (файл ./server/CMakeLists.txt) содержатся инструкции для упаковки прикладной программы в KPA-пакет.

Описание политики безопасности

Файл security.psl содержит описание политики безопасности решения.

В файл security.psl через декларацию use включен файл core.psl, который содержит часть описания политики безопасности, которая регулирует взаимодействия программ с ядром KasperskyOS.

Декларации в PSL-файлах снабжены комментариями, которые поясняют назначение этих деклараций.

Политика безопасности решения в этом примере разрешает запуск ядра KasperskyOS и системных программ. Обращениями к программе Server управляют методы модели безопасности Flow.

Конечный автомат, описанный в конфигурации объекта request_state модели безопасности Flow, имеет два состояния: not_sent и sent. Исходное состояние – not_sent. Разрешены только переходы из not_sent в sent и обратно.

При вызове методов Ping() и Pong() проверяется текущее состояние объекта request_state. В состоянии not_sent разрешен только вызов Ping(), при этом состояние изменится на sent. Аналогично, в состоянии sent разрешен только вызов Pong(), при этом состояние изменится на not_sent.

Таким образом, методы Ping() и Pong() разрешено вызывать только по очереди.

Дополнительные файлы

В директории ./resources/xdl/ping содержатся следующие файлы:

• Client.edl, Server.edl – EDL-описания для программ примера;
• Control.cdl – CDL-описание компонента ping.Control;
• Connection.idl – IDL-описание пакета ping.Connection.

Файл ./einit/CMakeLists.txt содержит инструкции для сборки загрузочного образа KasperskyOS.

В директории ./einit/src/ расположены файлы настроек системной программы ServiceManager, которая отвечает за установку и запуск KPA-пакетов:

• Файл initial_install.json содержит список KPA-пакетов, которые должны быть установлены при первом запуске KasperskyOS.
• Файл system_services.json содержит список установленных программ, которые должны запускаться каждый раз при запуске KasperskyOS.

Сценарий работы

1. Программа Client устанавливает соединение с программой Server и пытается вызвать методы Ping() и Pong() в следующей последовательности: чередование Ping() и Pong() пять раз, затем дважды Ping() и дважды Pong().
2. При вызове методов Ping() и Pong() проверяется текущее состояние объекта request_state, отслеживающего состояние автомата:
   • Ping() разрешен только в состоянии not_sent;
   • Pong() разрешен только в состоянии sent;
   • после каждого успешного вызова состояние автомата меняется.
3. В результате первые чередующиеся 10 вызовов проходят успешно. Последующие нарушения порядка (второй подряд Ping() и второй подряд Pong()) блокируются политикой безопасности.

Сборка и запуск примера

Для сборки и запуска примера используется система CMake из состава KasperskyOS Community Edition SDK.

См. "Сборка и запуск примеров".