39. Зубенко Антон Віталійович. Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах: дис... канд. фіз.-мат. наук: 01.05.03 / Київський національний ун-т ім. Тараса Шевченка. - К., 2005.
Анотація до роботи:
Зубенко А.В. Логіко-алгоритмічний аналіз процесів авторизації в динамічних коаліційних системах. – Рукопис.
Дисертація на здобуття наукового ступеня кандидата фізико-математичних наук за спеціальністю 01.05.03 – математичне та програмне забезпечення обчислювальних машин і систем. – Київський національний університет імені Тараса Шевченка. – Київ, 2005.
Дисертаційна робота присвячена дослідженню методів побудови динамічних коаліційних систем як захищеної форми групової інформаційної взаємодії. Визначені основні поняття, властивості та структурна організація подібних систем. Визначені проблемні області та одержано порівняльний аналіз найбільш ефективних практичних методів їх розв’язання. На основі одержаних результатів створена загальна методика проектування та реалізації динамічних коаліційних систем. Особливу увагу в роботі приділено формалізації процесів авторизації в динамічних коаліційних системах, що мають особливий характер відповідно до особливостей предметної області дослідження. Специфікована спеціальна авторизаційна логіка. Створено програмний прототип авторизаційного простору, що реалізує побудовану математичну модель. Продемонстровано практичне застосування динамічних коаліцій для створення захищених систем паралельної обробки даних на прикладі розвинення технології ПАРКС.
Головним результатом дисертації є математичне дослідження спеціалізованого класу розподілених обчислювальних систем – динамічних коаліційних систем (ДКС), що розв’язує важливу задачу захисту динамічного інформаційного співробітництва і має істотне значення для розробки нових комп’ютерно-комунікаційних систем та сервісів.
Головними характеристичними ознаками ДКС є:
належність елементів до незалежних віддалених адміністративних просторів;
мінливість рівня довірчих відносин між просторами;
динамічно змінюваний склад елементів.
Конкретними науковими результатами проведеного дослідження є:
Створена загальна методика проектування та реалізації прикладних ДКС. Основними етапами її є: декомпозиція системи; моделювання загроз, зокрема специфічних для даного класу систем; вибір спеціальних методів усунення виявлених загроз.
Специфіковано прикладну логіку делегувань повноважень (ДП-логіку), яка моделює здійснення авторизаційних процесів в ДКС та вивчено її властивості.
Розроблено алгоритм розв’язності ДП-логіки та доведено його математичну коректність. Даний алгоритм є основою системи контролю доступу в ДКС.
На основі програмної реалізації цього алгоритму створено програмний прототип авторизаційного простору, який реалізує побудовану математичну модель.
Одержані результати дозволили розробити архітектуру захищеної ПАРКС, що відповідає вимогам ДКС. Створена архітектура дозволяє забезпечити захищеність ПАРКС-програмування в глобально розподілених середовищах.
Публікації автора:
Анисимов А.В, Гуржий Т.А., Зубенко А.В. Дистанционное обучение на базе Spread. // Управляющие системы и машины. -2004. - №3. - с.71-80.
Зубенко А.В. Призначення і практичне застосування групових комунікаційних систем // Вісник Київського ун-ту. Сер.Фіз-мат.науки. – 2004. - Вип. 2.- С.239 - 244.
Зубенко А.В. Захищені системи паралельної обробки даних // Вісник Київського ун-ту. Сер.Фіз-мат.науки. – 2004. - Вип. 3.- С.206 - 210.
Анисимов А.В., Зубенко А.В. Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.1. Основные алгоритмы криптографической защиты. // Проблемы программирования. -2004. - №4. – c. 48-63.
Анисимов А.В., Зубенко А.В. Динамические коалиции – новая парадигма в области распределенных компьютерно-коммуникационных систем. Ч.2. Обзор и сравнительная характеристика практических методов построения динамических коалиционных сред. // Проблемы программирования. -2005. - №1. – c. 51-68.
Зубенко А.В. Актуальные вопросы изучения динамических коалиционных окружений. // Dynamic System Modelling And Stability Investigation. Міжнародна науково-практична конференція. - Київ, 2003. – С.176.
Zubenko A. Modeling Problems Of Secure Dynamic Collaborative Environments. // Proceedings of PDMU’2003. – Ukraine, Alushta – 2003. – P. 54 – 56.
Zubenko A. On Architectures Of Dynamic Collaborative Environments. // Proceedings Of ECI’2004 - Slovakia, Kosice – September, 2004. – P. 288 – 293.
Зубенко А.В. Керування довірчими відносинами в динамічних коаліційних середовищах. // Теоретичні та прикладні аспекти побудови прикладних програмних систем. Міжнародна науково-практична конференція. Київ, 2004. - С. 330-333.
