сокращения

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

Что такое система защиты информации от несанкционированного доступа; СЗИ НСД?
Система защиты информации от несанкционированного доступа; СЗИ НСД - комплекс организационных мер и программно-технических (в том числе криптогра-фических) средств защиты от несанкционированного доступа к информации в АС.

Что такое показатель защищенности (СВТ)?
Показатель защищенности (СВТ) - характеристика средств вычислительной техники, влияющая на защищенность и описываемая определенной группой требований, варьируемых по уровню, глубине в зависимости от класса защищенности средств вычислительной техники.

Что такое верификация СВТ [АС]?
Верификация СВТ [АС] - процесс сравнения двух уровней спецификации средств вычислительной техники или автоматизированной системы на надлежащее соответствие.