Энциклопедия информационной безопасности. По всем вопросам обращайтесь по адресу swan@wikisec.ru
Формальный
Версия от 22:43, 8 ноября 2019; Wikiadmin (обсуждение | вклад) (Замена текста — «Источник: Руководящий документ "Безопасность информационных технологий. Критерии оценки безопасности информационных технологий." (Введен в действие Приказом Гостехкомиссии России от 19.06.02 г. № 187)» на «Источник: Безопасность информационных технологий. Критерии оценки безопасности информационных технологий»)
Определение
Формальный (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях.
Источник: Безопасность информационных технологий. Критерии оценки безопасности информационных технологий
