Вид работ по выявлению (подтверждению) уязвимостей программы, основанный на моделировании (имитации) действий потенциального нарушителя [из 3.16 ГОСТ Р 56939–2016]