Разработка алгоритма сертификации программного обеспечения в системе сертификации средств защиты информации Министерства обороны Российской Федерации

Сертификация средств защиты информации в системе Министерства обороны Российской Федерации является обязательным условием допуска программных продуктов к обработке информации ограниченного доступа в интересах военного ведомства. Действующая нормативная база, включающая Постановление Правительства РФ № 608 и Приказ Министра обороны РФ от 29.09.2020 г. № 488, устанавливает организационную структуру и общие процедурные требования к сертификационным испытаниям. Однако, как отмечается в научной литературе, практическая реализация этапов испытаний программных изделий сопряжена с рядом проблемных вопросов, связанных с отсутствием единых методик, автоматизацией анализа исходного кода и контролем отсутствия НДВ.

Актуальность разработки алгоритма сертификации ПО обусловлена, с одной стороны, ужесточением требований к безопасности программных продуктов (в частности, введением ГОСТ Р 56939-2024 к процессам безопасной разработки), а с другой — необходимостью обеспечения воспроизводимости и доказательности результатов испытаний для аккредитованных испытательных лабораторий. Целью настоящей работы является формализация процедуры сертификации ПО СЗИ в системе МО РФ в виде алгоритма, учитывающего уровни контроля НДВ и современные методы анализа программного кода. 

Проблемы практической реализации сертификационных 
испытаний ПО

Анализ научных публикаций и практического опыта испытательных лабораторий позволяет выделить ряд проблем, требующих алгоритмизации:

1. Неоднородность сред разработки и сборки. Различные схемы сборки проектов из исходных текстов, использование разных операционных систем (Windows, Linux) и средств контроля исходного состояния ПО создают методические сложности при проведении статического анализа и верификации сборки.

2. Отсутствие универсальных средств контроля. Рекомендованные регулятором средства контроля исходного состояния ПО не всегда поддерживают весь спектр алгоритмов контрольного суммирования, используемых разработчиками, что вынуждает лаборатории прибегать к экспертной верификации.

3. Сложность идентификации бинарных файлов и полноты исходных текстов. В пакетах с исходными текстами могут присутствовать бинарные файлы без соответствующих исходников, что требует разработки специальных процедур проверки.

4. Необходимость автоматизации рутинных операций анализа. Ручной анализ больших объемов кода снижает производительность и повышает вероятность ошибок, что обосновывает применение интеллектуальных технологий, включая анализ маршрутов выполнения функциональных объектов и поиск заданных конструкций.

Указанные проблемы свидетельствуют о необходимости создания формализованного алгоритма, который интегрирует существующие нормативные требования и практические методы анализа в единую воспроизводимую последовательность действий.

Предлагаемый алгоритм сертификации ПО СЗИ

Разработанный алгоритм представляет собой последовательность этапов, выполняемых испытательной лабораторией, аккредитованной в системе сертификации МО РФ, и органом по сертификации (8 управление МО РФ). Алгоритм охватывает полный цикл сертификационных испытаний программного изделия и может быть адаптирован для соответствующего уровня контроля НДВ.

Этап 1. Прием и анализ заявки. Орган по сертификации рассматривает заявку, проверяет комплектность представленных документов, включая сведения о ранее полученных сертификатах на составные части, перечень заимствованных программных компонентов (в том числе с открытым исходным кодом) и образов контейнеров. По результатам принимается решение о проведении сертификации и назначается испытательная лаборатория.

Этап 2. Разработка программы и методик испытаний. Лаборатория разрабатывает проект программы и методик, в котором отражаются: наименование и назначение ПО, количество образцов, сроки и условия испытаний, методы и способы испытаний, применяемое оборудование и средства контроля. Проект согласовывается с заявителем и утверждается органом по сертификации в установленные сроки. На данном этапе алгоритм предусматривает обязательную привязку методов испытаний к заявленному уровню контроля НДВ.

Этап 3. Отбор образцов и идентификация исходного состояния. Производится отбор образцов ПО, оформляется акт отбора. Лаборатория осуществляет контроль исходного состояния программного обеспечения: проверку состава и содержания программной документации, фиксацию хеш-сумм файлов, идентификацию среды разработки и сборки. Для повышения достоверности применяется настройка системы аудита операционной системы (например, Linux Audit), позволяющая фиксировать события компиляции и сборки проекта из исходных текстов.

Этап 4. Статический анализ исходных текстов. В зависимости от уровня контроля НДВ выполняется: контроль полноты и отсутствия избыточности пакетов с исходными текстами на уровне файлов; поиск заданных конструкций (типовых уязвимостей и опасных функций) с расчетом их количества и критичности; анализ связей функциональных объектов по информации, включая выявление неиспользуемых информационных объектов и недекларированной передачи данных; построение расширенной матрицы вызовов функциональных объектов и оценка критических маршрутов выполнения.

Этап 5. Динамическое тестирование и анализ уязвимостей. Проводится функциональное тестирование СЗИ (метод «черного ящика») с целью проверки реализации заявленных функций безопасности, а также тестирование проникновения на основе анализа уязвимостей. Для ПО с доступными исходными кодами применяются методы структурного тестирования («белый ящик»), для бинарного ПО — сигнатурный и фаззинг-анализ. Результаты динамического тестирования сопоставляются с данными статического анализа для выявления расхождений.

Этап 6. Оценка соответствия уровню контроля НДВ и формирование заключения. На основе результатов этапов 4 и 5 рассчитываются интегральные показатели, характеризующие полноту проверочного контура и отсутствие НДВ. Для каждого уровня контроля устанавливаются пороговые значения (например, допустимое количество критических маршрутов, доля недекларированных связей). При превышении пороговых значений выносится решение о несоответствии. В случае соответствия оформляются протоколы испытаний и техническое заключение, которые передаются в орган по сертификации для принятия решения о выдаче сертификата соответствия.

Этап 7. Инспекционный контроль (при серийном производстве). Для серийно производимых СЗИ алгоритм предусматривает последующий инспекционный контроль, включающий проверку неизменности исходных текстов, соответствия загрузочного кода предъявленным исходникам и анализ влияния внесенных изменений на показатели защищенности.

Предложенная последовательность этапов обеспечивает прослеживаемость процедуры сертификации от подачи заявки до выдачи сертификата и может быть положена в основу типовой методики проведения сертификационных испытаний ПО СЗИ в системе МО РФ.

Заключение

В работе предложен алгоритм сертификации программного обеспечения средств защиты информации в системе сертификации Министерства обороны Российской Федерации, учитывающий требования Приказа МО РФ № 488, РД НДВ и ГОСТ Р 56939-2024. Алгоритм структурирует процедуру испытаний в семь этапов, интегрируя статический анализ, динамическое тестирование, оценку уязвимостей и верификацию процессов сборки. Реализация алгоритма направлена на повышение воспроизводимости и доказательности сертификационных испытаний, что особенно актуально в условиях ужесточения требований к безопасности программных продуктов военного назначения.