Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

- результаты поиска

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Поисковый запрос: (<.>K=дефекты (программирование)<.>)

Общее количество найденных документов : 1

Подход к выявлению потенциально опасных дефектов в спецификациях документов, регламентирующих порядок создания и сертификации средств защиты информации [Текст] = Approach to the identification of potentially hazardous defects in the specifications of documents regulating the creation and certification of information security tools / Д. Н. Бирюков [и др.] // Проблемы информационной безопасности. Компьютерные системы. - 2015. - № 3. - С. 7-16 : схемы, табл. - Библиогр.: с. 16 (7 назв.) . - ISSN 2071-8217

УДК

^a004.41/42

ББК 32.973
Рубрики: Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Кл.слова (ненормированные):
верификация -- выявление дефектов -- гироматы -- дефекты (программирование) -- защита информации -- информационная защита -- онтологические модели -- потенциально опасные дефекты -- семантические связи -- сертификация -- спецификации документов -- средства защиты информации
Аннотация: Рассматриваются основные аспекты технологии, позволяющей формализовать спецификации документов с требованиями к средствам информационной безопасности на основе онтологических моделей, производить семантическое пополнение онтологий ролевыми связями понятий и осуществлять верификацию потенциально опасных дефектов в спецификациях.
Discusses the basic aspects of the technology, allowing to formalize specifications document requirements for information security on the basis of ontological models to perform semantic role replenishment of ontologies of concepts and relationships to carry out the verification of potentially dangerous defects in the specifications.

Доп.точки доступа:
Бирюков, Д. Н.; Ломако, А. Г.; Еремеев, М. А.; Мажников, П. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)