Вид документа : Статья из журнала Шифр издания : Автор(ы) : Сабиров, Тимур Римович, Бирюков, Денис Николаевич, Глухов, Александр Петрович, Корниенко, Анатолий Адамович, Ададуров, Сергей Евгеньевич Заглавие : Верификация нормативных документов Параллельн. заглавия :Verification of Normative Documents Серия: Организационные вопросы и право Место публикации : Защита информации. Инсайд. - 2018. - № 5. - С.54-58: ил. (Шифр zinf/2018/5) Примечания : Библиогр.: с. 58 (9 назв.) УДК : 004:002 ББК : 73 Предметные рубрики: Информатика Информатизация общества. Информационная политика Ключевые слова (''Своб.индексиров.''): защита информации--информационная безопасность--нормативные документы Аннотация: Рассматривается подход к формализации и верификации основных положений нормативных документов в области информационной безопасности. Реализация подхода позволяет своевременно выявлять дефекты в требованиях документов и предотвращать производство и эксплуатацию потенциально уязвимых технологий и средств обеспечения защиты информации. Доп.точки доступа: Сабиров, Тимур Римович; Бирюков, Денис Николаевич; Глухов, Александр Петрович; Корниенко, Анатолий Адамович; Ададуров, Сергей Евгеньевич