Зубенко А. В. Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах

Дисертаційна робота присвячена дослідженню методів побудови динамічних коаліційних систем як захищеної форми групової інформаційної взаємодії. Cтворена загальна методика проектування та реалізації систем досліджуваного класу. Значну увагу приділено формалізації процесів авторизації в динамічних коаліційних системах, що мають особливий характер відповідно до властивостей предметної області дослідження. Специфікована спеціальна авторизаційна логіка, досліджено її формальні властивості. Створено програмний прототип авторизаційного простору, що реалізує побудовану математичну модель. Продемонстровано практичне застосування динамічних коаліцій для створення захищених систем паралельної обробки даних на прикладі розвинення технології ПАРКС.