Методика генерации тестов для протоколов информационного обмена на основе недетерминированного конечного автомата с предикатами
Описание метода генерации тестов для протоколов обмена информацией на основе критерия псевдоэквивалентности неопределенного конечного автомата. Рассмотрение поиска уникальной последовательности в NDFAD с целью оценки максимальной длины покрытия.
Подобные документы
Сравнительная характеристика транспортных протоколов передачи данных TCP, UDP и XTP. Анализ пропускной способности канала для коммутируемой сети при использовании данных протоколов. Процедура обработки и синхронизации пакетов в системе обмена информацией.
контрольная работа, добавлен 27.11.2015Условия применения для существующих стандартов криптографических преобразований метода конечного автомата на основе "жесткой" логики, который не использует ресурсы центрального процессора и увеличивает скорость обработки данных. Оценка его преимуществ.
статья, добавлен 28.02.2019Создание системы протоколов на предприятии. Повышение надежности процессов информационного обмена в среде автоматизированной системы управления радиоэлектронной промышленности. Обнаружение, коррекция логических ошибок протоколов электронной документации.
статья, добавлен 15.08.2020Характеристика протоколов обмена ключами Диффи-Хэллмана, Kerberos и других протоколов аутентификации с помощью центра распространения ключей, которые позволяют решить проблему распространения ключей в сети. Криптографическая стойкость алгоритма.
курсовая работа, добавлен 13.01.2013Бизнес-процессы системы автоматической генерации онтологических моделей на основе структурированного текста. Описание программной разработки системы в виде скриншотов и результаты оценки эффективности реализованных методов автоматического построения.
статья, добавлен 18.07.2018- 31. Протокол IPSec
IPsec как набор протоколов для обеспечения защиты данных, передаваемых по межсетевому протоколу IP, его значение и функции. Kerberos для аутентификации участников соединения. Протокол определения ключей Оакли для генерации и обмена секретными ключами.
презентация, добавлен 20.09.2013 Общая характеристика автомата для поиска подстрок, знакомство с основными возможностями и преимуществами. Особенности применения построенного автомата, предназначенного для поиска абзаца в тексте, анализ примеров. Рассмотрение методов поиска полстроки.
контрольная работа, добавлен 14.05.2013Существенный анализ выполнения быстрой рекурсивной сортировки. Реализация поиска подстрок с помощью конечного автомата. Особенность создания объектов на языке Java. Создание улучшенного линейного поиска. Характеристика построения сортировки выбором.
контрольная работа, добавлен 13.01.2020Понятие компьютерной сети и протоколов обмена информацией. Организационное становление информационного обслуживания в Internet, сущность электронной почты, телеконференции, передачи файлов и реального общения. Особенности поисковой системы WAIS.
курсовая работа, добавлен 19.01.2012Создание сетевых протоколов на основе концепции многоуровневой системы. Процедура определения пути следования пакета из одной сети в другую. Спецификации сети коммутации пакетов. Иерархия протоколов TCP/IP. Характеристика пользовательского интерфейса.
контрольная работа, добавлен 07.12.2013Обзор подходов для генерации ассоциативных правил. Характеристика методов генерации рекомендаций. Анализ процесса разработки метода определения закономерностей с ассоциативными правилами для генерации рекомендаций пользователем информационного портала.
дипломная работа, добавлен 27.05.2013Использование новых информационных и телекоммуникационных технологий и электронной доставки учебного материала. Создание и использование технологических систем в образовании. Стандарты для протоколов обмена информацией с целью обеспечения мобильности.
статья, добавлен 29.03.2019Разработка информационно-логической структуры модели файлового обмена для ТОО "Караганда Связь Плюс". Реализация модели системы передачи информации, выбор программных и технических средств. Семейство протоколов обмена, интерфейсы и модемные установки.
дипломная работа, добавлен 05.05.2016Анализ основ грамматики по регулярным выражениям. Сущность способов, с помощью которых можно задавать формальные языки. Построение конечного автомата на основе леволинейной грамматической концепции. Стройная система для распознавания идентификаторов.
курсовая работа, добавлен 15.01.2016Разработка способа решения задачи поиска новых идей и проектных решений. Разработка способа решения задачи генерации идей на основе модифицированного метода гирлянд ассоциаций, его применение для решения различных классов задач веб-дизайна и статистики.
статья, добавлен 23.03.2018Основы применения мультиэвристического подхода для решения задач минимизации недетерминированного конечного автомата (НКА), основанного на сочетании комбинаторных и эвристических методов оптимизации. Применение НКА для моделирования дискретных объектов.
статья, добавлен 29.06.2016Использование реконфигурируемых вычислительных систем для решения задач поиска шаблонов в потоке данных. Эффективная разработка цифрового автомата, решающего задачу поиска шаблонов с масками "*" и "?". Основная идея метода векторизации состояний автомата.
статья, добавлен 30.05.2017Обзор наиболее используемых подходов для формального анализа криптографических протоколов и программных инструментов, реализованных на основе данных подходов. Сделан вывод об актуальности использования БАН-логики для анализа протоколов аутентификации.
статья, добавлен 01.02.2019Обзор стратегий поиска информации в Internet: поисковые каталоги, машины и системы. Сравнительный обзор популярных поисковых систем. Основные преимущества Google. Особенности обмена данными в Internet, программное обеспечение для обмена информации.
дипломная работа, добавлен 04.04.2014Современные принципы организации микропроцессорных систем. Принципы обмена информацией, шины микропроцессорной системы. Циклы программного обмена, обмена по прерываниям и в режиме прямого доступа к памяти. Особенности прохождения сигналов по магистрали.
контрольная работа, добавлен 17.11.2010Тестирование с применением средств автоматической генерации тестов, входящие в состав современных САПР, которые используются при проектировании цифровых устройств на основе элементной базы. Требования к временным характеристикам тестовых сигналов.
статья, добавлен 08.12.2018Необходимость изменения и подстройки алгоритмов управления при изменяющихся условиях функционирования автоматизированных систем. Построение управляющих устройств на основе моделей теории графов. Формализм конечного автомата для устройств управления.
статья, добавлен 08.03.2019Разработка и построение структурного цифрового автомата, предназначенного для выполнения арифметической операции деления двоичных чисел. Описание функциональной схемы операционного автомата. Минимизация функций алгебры логики, метод Квайна-Мак-Класки.
курсовая работа, добавлен 19.04.2011TCP/IP (Transmission Control Protocol/Internet Protocol) - средство для обмена информацией между компьютерами, объединенными в сеть. Программное обеспечение для TCP/IP и архитектура. Краткое описание протоколов семейства с расшифровкой аббревиатур.
статья, добавлен 23.11.2009Несколько наиболее ярких примеров криптографических протоколов с дефектами и атаками, использующими эти дефекты. Классификация криптографических протоколов. Протокол ключевого обмена DH. Протокол шифрования и цифровой подписи по RSA на общем модуле.
статья, добавлен 15.09.2012