- Заглавие: ВЕРИФИКАЦИЯ
- Год актуализации: 2012
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ВЕРИФИКАЦИЯ [Информационная безопасность:Уч.пос. / Т.Л.Партыка, - 5-е изд.-М.:Форум, НИЦ ИНФРА-М,2017.-432 с..-(Профессиональное образован]
- Источник публикации: Информационная безопасность: справочник
- Фрагмент статьи: ВЕРИФИКАЦИЯ (verification) – использование теста или имити- рованной среды для выявления идентичности двух уровней специ- фикаций системы, например политики безопасности в специфика- ции высшего уровня (исходном коде) и объектном коде.
