МЕТОД ФОРМИРОВАНИЯ ТЕСТОВЫХ КОМПЛЕКТОВ ДЛЯ ПРОТОКОЛОВ БЕЗОПАСНОСТИ В СИСТЕМАХ ОБРАБОТКИ ДАННЫХ

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

Вы можете купить электронную версию издания «МЕТОД ФОРМИРОВАНИЯ ТЕСТОВЫХ КОМПЛЕКТОВ ДЛЯ ПРОТОКОЛОВ БЕЗОПАСНОСТИ В СИСТЕМАХ ОБРАБОТКИ ДАННЫХ». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 90.00 руб.