Энциклопедия информационной безопасности. По всем вопросам обращайтесь по адресу swan@wikisec.ru
Формальный: различия между версиями
Перейти к навигации
Перейти к поиску
wikisec>Swan |
Wikiadmin (обсуждение | вклад) |
||
| (не показаны 2 промежуточные версии этого же участника) | |||
| Строка 1: | Строка 1: | ||
| − | + | 1.'''Формальный''' (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях. | |
| − | '''Формальный''' (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях. | ||
| − | Источник: | + | '''''Источник:''''' [[Безопасность информационных технологий. Критерии оценки безопасности информационных технологий]] |
| + | |||
| + | 2.'''Формальный''' - Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях | ||
| + | |||
| + | '''''Источник:''''' [[ГОСТ Р ИСО/МЭК 15408-1-2012]] - Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель | ||
[[Категория: Определения]] | [[Категория: Определения]] | ||
Текущая версия на 19:16, 13 ноября 2019
1.Формальный (англ. formal) - выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях.
Источник: Безопасность информационных технологий. Критерии оценки безопасности информационных технологий
2.Формальный - Выраженный на языке с ограниченным синтаксисом и определенной семантикой, основанной на установившихся математических понятиях
Источник: ГОСТ Р ИСО/МЭК 15408-1-2012 - Информационная технология. Методы и средства обеспечения безопасности. Критерии оценки безопасности информационных технологий. Часть 1. Введение и общая модель
