Формальный

1.Формальный (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях.

Источник: Безопасность информационных технологий. Критерии оценки безопасности информационных технологий

2.Формальный - Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях

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