Информационные системы и технологии УДК 681.5 В.Т. ЕРЁМЕНКО, В.М. ПАРАМОХИН МЕТОД ФОРМИРОВАНИЯ ТЕСТОВЫХ КОМПЛЕКТОВ ДЛЯ ПРОТОКОЛОВ БЕЗОПАСНОСТИ В СИСТЕМАХ ОБРАБОТКИ ДАННЫХ Разработан формальный метод описания и автоматизированной генерации тестов испытания конформности для протоколов безопасности (ПБ). <...> Предложена математическая модель процессов информационного обмена на основе недетерминированного конечного автомата с использованием целочисленных линейных неравенств для описания полного пространства состояний протокольных объектов. <...> ВВЕДЕНИЕ На современном этапе основной задачей испытаний конформности протоколов безопасности (ПБ) является определение их соответствия техническим условиям или стандартам. <...> Представление ПБ как совокупности формализованных синтаксических и семантических правил определяет работу средств информационного обмена в процессе обработки данных, позволяет описать статические и динамические свойства взаимодействия протокольных объектов (функциональных модулей одного уровня) и может служить основой документирования. <...> Выбор СОД позволяет определить сигналы, форматы данных, способы проверки ошибок, а также алгоритмы для интерфейсов, включая принципы подготовки сообщений, передачи и анализа на различных уровнях детализации, обеспечить защиту от угрозы, вносимых средой обработки данных. <...> В этом смысле рассмотрение протоколов с точки зрения соглашения между двумя протокольными объектами о формате и содержании служебной информации управления позволяет осуществлять наблюдение за состоянием области обработки, а также определить последовательность управляющих сигналов и процедуры обмена данными в среде СОД. <...> Таким образом, возникает научная задача испытаний конформности ПБ и анализа их спецификаций. <...> Одним из перспективных направлений сокращения времени разработки аттестационных тестов для протоколов безопасности является использование методов <...>