Энциклопедия информационной безопасности. По всем вопросам обращайтесь по адресу swan@wikisec.ru
Формальный
Версия от 13:34, 22 октября 2009; wikisec>Swan (→Определение)
Определение
Формальный (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях.
Источник: Руководящий документ "Безопасность информационных технологий. Критерии оценки безопасности информационных технологий." (Введен в действие Приказом Гостехкомиссии России от 19.06.02 г. № 187)
