Энциклопедия информационной безопасности. По всем вопросам обращайтесь по адресу swan@wikisec.ru

Формальный

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

Определение

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

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

Источник — https://wikisec.ru/index.php?title=Формальный&oldid=5762