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