Министерство образования и науки Российской Федерации ФГБОУ ВПО ТАМБОВСКИЙ

УНИВЕРСИТЕТ Кафедра Информационных систем и защиты информации

Магистерская диссертация
Макущенко Яна Олеговна
Анализ

протокола защищенного взаимодействия TLS на основе модели на сети Петри при реализации в информационной системе

.
Руководитель: Яковлев А. В.


Тамбов 2012

взаимодействия пользователей информационной системы организации и выработка рекомендаций по их

устранению.
Задачи исследования:
анализ необходимости защиты информации в ИС организации;
моделирование функционирования протокола TLS на основе сетевой динамической модели и определение возможных дефектов в работе протокола;
выработка требований и рекомендаций по устранению выявленных дефектов функционирования протокола TLS.
Научная новизна работы заключается в синтезе модели протокола защищенного взаимодействия TLS на основе аппарата сетей Петри, отличающейся наличием динамики и позволяющей выявить дефекты функционирования протокола.
Практическая значимость работы заключается в использовании полученной информационной системы при защите информации в частной организации ООО «БАРС-ТМБ».

2

безопасный блок генерации секретного ключа в модели протокола TLS

исходной модели протокола TLS (a) и строго сохраняющей модели (б)
7

установления соединения для одного клиента (с учетом возможности повторного подключения

в случае отказа в обслуживании) рассчитывается по формуле: P(t) = 1 – e-t/τ , где τ = 5,56 с - среднее время установления соединения с одним клиентом.

сети, определенных в результате вычислительного эксперимента с помощью программного обеспечения

для анализа сетевых протоколов Ethereal 0.99.

9

распределения вероятности подключения нескольких пользователей к серверу рассчитывается по следующей

формуле

10

синтезировать сетевую динамическую модель с целью выявления дефектов функционирования.
Построенная сетевая

динамическая модель обладает свойствами ограниченности, активности, достижимости и устойчивости, адекватно отражает процессы, протекающие в информационной сети с использованием данного протокола.
На основе построенной модели проведено исследование, результатами которого стали:
проведенные расчеты подключения одного пользователя к серверу показывают, что в течение 30 с один пользователь должен успешно подключиться к серверу с вероятностью 90%;
анализ графика распределения вероятности подключения нескольких пользователей показывает, что в течение 50 секунд 30 пользователей могут успешно подключиться к серверу с вероятностью 18%, т.е. уже возможны задержки в обслуживании заявок на подключение к серверу.
Таким образом, в результате расчета вероятности подключения к серверу нескольких пользователей возникает необходимость в модификации работы протокола с введением средства контроля за очередью заявок с возможностью изменения ее размера с учетом нагрузки в сети.

11