Испытания конформности протоколов безопасности в системах обработки данных на основе метода автоматизированной генерации тестов
Methods and techniques of formation of test kits for security protocols

УДК 004.056

Разработан формальный метод описания и автоматизированной генерации тестов испытания конформности для протоколов безопасности (ПБ). Предложена математическая модель процессов информационного обмена на основе недетерминированного конечного автомата с использованием целочисленных линейных неравенств для описания полного пространства состояний протокольных объектов.

The summary. The formal description techniques and automated test generation for conformance testing of security protocols (PB). A mathematical model of the processes of information exchange based on non-deterministic finite automaton using integer linear inequalities to describe the full state space protocol objects.

Авторы:

Еременко Владимир Тарасович

ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
Заведующий кафедрой информационной безопасности доктор технических наук, профессор

Парамохин Виталий Михайлович

ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
Соискатель кафедры «Электроника, вычислительная техника и информационная безопасность»

Список цитируемой литературы:

  • Еременко В.Т., Автоматизация процесса оценки состояния защищенности объекта информатизации с использованием ингибиторных, вероятностных и раскрашенных сетей Петри от утечки информации./ В. Т. Еременко, М. Ю. Рытов, А.П. Горлов // Информация и безопасность. —2015. — Т. 18.— № 1. — С. 123-126.
  • Еременко В. Т. Создание теоретических основ автоматизации и построения технологической составляющей АСУ территориально распределенных предприятий / В. Т. Еременко, С.И. Афонин // Информационные системы и технологии. — 2012. — № 2 — С. 99 — 105.
  • Еременко В.Т. Метод формирования тестовых комплектов для протоколов безопасности в системах обработки данных./ В.Т. Ерёменко, В.М.Парамохин // Информационные системы и технологии. — 2015. — № 2 (88). — С. 131-137.
  • Еременко, В. Т. Методологические аспекты выбора профилей сбора и обработки данных в системах неразрушающего контроля и диагностики технических объектов. / В.Т. Еременко, А.В. Тютякин // Контроль. Диагностика. — 2013, № 1. — С. 24 — 31.
  • Ерёменко, В.Т. Синтез локально-оптимальной структуры классификатора информационных ресурсов по критерию минимума средней длины процедуры поиска. / А.А. Батенков., И.С. Полянский, К.А. Батенков, М.А. Сазонов, В.Т. Еременко // Вестник компьютерных и информационных технологий. — 2013, № 7. — С.3 — 8.
  • Ерёменко, В.Т. Методологические аспекты синтеза оптимальной древовидной структуры в системах сбора и обработки информации / В. Т. Еременко, И. С. Полянский, И. И. Беседин // Вестник компьютерных и информационных технологий. — 2013, № 11. — С.15 — 21.
  • Еременко, В.Т. Выбор операционных моделей обработки, архивирования и защиты изображений в распределенных системах технической диагностики // В.Т. Еременко, А.В. Тютякин, Е.А. Семашко // Информационные системы и технологии. — 2011. — № 3. — С. 115 — 119.
  • Еременко, В.Т. Выбор профилей обработки данных в системах контроля и диагностики технических объектов на основе их качественного анализа./ В.Т. Еременко, А.В. Тютякин, А.А. Кондрашин // Информационные системы и технологии. — 2014. — № 5. — С. 88 —97.

Последние новости

Случайный материал

  • В статье рассматриваются вопросы эффективной организации мониторинга процессов оказания электронных услуг. В качестве инструмента проведения мониторинга предлагается использовать автоматизированную систему, обеспечивающую адаптивную организацию процессов сбора, хранения и обработки данных. Сформулированы системные и технологические задачи организации мониторинга, раскрыты их сущность и принципы решения.
    Фролов Алексей Иванович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматриваются подходы к созданию подсистемы стабилизации температуры в барокамере экспериментальной системы контроля качества приборов. Данная подсистема позволяет управлять величиной тока, подаваемого на термоэлектрический модуль, для поддержания воздушной среды управляемого объекта – барокамеры в пределах заданной величины.
    Демина Юлия Александровна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Вереницын Андрей Игоревич, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Демина Елена Григорьевна, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
  • В данной статье рассматривается актуальность применения свободного программного обеспечения для оказания электронных услуг населению, а также выявляются проблемы при его внедрении и сопровождении.
    Стычук Алексей Александрович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел
    Постников Максим Владимирович, ФГБОУ ВПО «Госуниверситет – УНПК», г. Орел