Пошук академічних текстів

Реєстраційний номер

0405U002133, Кандидатська дисертація

На здобуття

к.ф.-м.н., 01.05.03, Математичне та програмне забезпечення обчислювальних машин і систем

Дата захисту

12-05-2005

Статус

Запланована

Назва роботи

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

Здобувач

Зубенко Антон Віталійович,

Керівник Анісімов Анатолій Васильович
Опонент Дорошенко Анатолій Юхимович
Опонент Гороховський Семен Самуїлович

Опис

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

Дата реєстрації

2005-05-12

Додано в НРАТ

2020-04-04