ИСТИНА

Целью диссертационной работы являются построение математических моделей безопасных сетевых протоколов, предназначенных для исследования проблем обратного их проектирования, и разработка быстрых алгоритмов обратного проектирования безопасных протоколов по обмену их сообщениями. Получены следующие основные результаты. 1. Предложены математические модели для исследования обратного проектирования безопасного протокола в условиях его полного незнания и обратного проектирования безопасного протокола в условиях его частичного незнания. 2. Получены оценки емкостной сложности обратного проектирования протокола в условиях его полного незнания как автоматной грамматики, порождающей фиксированное число слов. 3. Введено понятие языкового шума восстанавливаемого протокола. Получены оценки емкостной сложности обратного проектирования протокола в условиях его полного незнания как автоматной грамматики, порождающей с шумом фиксированное число слов. 4. Получены экспоненциальные оценки временной сложности обратного проектирования протокола произвольного типа в условиях его частичного незнания, при этом исследуемый протокол моделируется как конечный автомат. 5. В силу экспоненциальной временной сложности обратного проектирования произвольного протокола в условиях его частичного знания разработан алгоритм, обеспечивающий линейную временную сложность восстановления протоколов типа TCP.