Розробка та дослідження програмної системи дляаналізу криптографічних протоколів

Об’єкт дослідження: методи аналізу криптографічних протоколів.
Мета роботи (проекту): підвищення якості захисту криптографічних систем.
Методи дослідження: аналіз, системний підхід, прогнозування, синтез, класифікація, моделювання.
У спеціальній частині запропоновано вид уточненого опису протоколів, на його підставі розроблено концептуальну модель і структура програмної системи для моделювання протоколів.
У роботі проведено аналіз методів моделювання криптографічних протоколів, запропоновано структуру програмної системи моделювання цих протоколів і виконано пілотний проект системи.
В економічному розділі визначено економічну ефективність від розробки та реалізації кінцевому споживачу програмної системи.
Практичне значення роботи полягає у розробці архітектури та структури програмної системи моделювання криптографічних протоколів.
Результати здійснених у дипломній роботі (проекті) досліджень можуть бути використані у навчальних цілях та при аналізі певних класів криптографічних протоколів.
Наукова новизна дослідження полягає у розробці архітектури програмної системи моделювання.
Напрямки подальших досліджень - подальший аналіз криптографічних протоколів та доповнення програмної системи новими рішеннями.