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

Abstract

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