На главную страницу
О журнале План выхода Подписка Интернет-Магазин Реклама Контакты и реквизиты English На главную страницу Карта сайта Поиск по сайту Обратная связь

перейти к Содержанию номера
№ 5   сентябрь–октябрь 2017 г.
Тема номера:
БЕЗОПАСНОСТЬ СОВРЕМЕННЫХ СЕТЕВЫХ ТЕХНОЛОГИЙ
Верификация нормативных документов
Verification of Normative Documents
Тимур Римович Сабиров
T. R. Sabirov
Денис Николаевич Бирюков
D. N. Biryukov
Военно-космическая академия им. А. Ф. Можайского
Mozhaisky Military Space Academy
Александр Петрович Глухов
A. P. Glukhov
Анатолий Адамович Корниенко
A. A. Kornienko
Сергей Евгеньевич Ададуров
S. E. Adadurov
Петербургский государственный университет путей сообщения Императора Александра I
St. Petersburg State Railway Transport University of Emperor Alexander I

Предыдущая статьяСледующая статья

Рассматривается подход к формализации и верификации основных положений нормативных документов в области информационной безопасности. Реализация подхода позволяет своевременно выявлять дефекты в требованиях документов и предотвращать производство и эксплуатацию потенциально уязвимых технологий и средств обеспечения защиты информации.

< ... >

Ключевые слова: информационная безопасность, онтология, дефекты, верификация, функциональное программирование

The main aspects of the approach to formalization and verification of the main provisions of normative documents in the field of information security is considered. The implementation of the approach allows the timely detection of defects in the requirements of documents and prevents the production and exploitation of potentially vulnerable technologies and information protection tools.

Keywords: information security, ontology, defects, verification, functional programming
warning!   Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»

Обращайтесь!!!
e-mail:    magazine@inside-zi.ru
тел.:        (812) 347-74-12, (921) 958-25-50


Предыдущая статья    СОДЕРЖАНИЕ НОМЕРА    Следующая статья

| Начало | О журнале | План выхода | Подписка | Интернет-магазин | Реклама | Координаты |

Copyright © 2004-2018 «Защита информации. Инсайд». Все права защищены
webmaster@inside-zi.ru

Rambler's Top100