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