Формальный (formal) по ГОСТ Р ИСО/МЭК 15408–1–2012 Терминология Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях [из 3.1.35 ГОСТ Р ИСО/МЭК 15408–1–2012] Formal Формальный Из ГОСТ Р ИСО/МЭК 15408–1–2012 Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель Подробнее о Формальный (formal) по ГОСТ Р ИСО/МЭК 15408–1–2012
