Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Название статьи
- СИНТЕЗ ТЕХНОЛОГИЙ МАШИННОГО ОБУЧЕНИЯ И ЛОГИЧЕСКОГО ВЫВОДА ДЛЯ ЗАДАЧИ ПОСТРОЕНИЯ СИСТЕМ ОБНАРУЖЕНИЯ ВТОРЖЕНИЙ
- Авторы
- Островский Дмитрий Евгеньевич crypto-expert@yandex.ru, аспирант кафедры "Информационная безопасность", Московский государственный технический университет им. Н. Э. Баумана, Москва, Россия
- В разделе
- ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ
- Ключевые слова
- системы обнаружения вторжений / машинное обучение / логический вывод / формальные спецификации / нечеткая логика
- Год
- 2015 номер журнала 1 Страницы 10 - 14
- Индекс УДК
- 004
- Код EDN
- Код DOI
- Тип статьи
- Научная статья
- Аннотация
- Обозначена задача синтеза машинного обучения и логического вывода при построении систем обнаружения вторжений. Сформулирован подход проектирования таких систем на основе проверки соответствия работы приложений их формальным спецификациям.
- Полный текст статьи
- Необходимо зарегистрироваться, чтобы получить доступ к полным текстам статей и выпусков журналов!
- Список цитируемой литературы
-
Андронов А. В. Формальная модель процессов работы и метод адаптации нейросетевых средств мониторинга безопасности // Диссертация на соискание ученой степени кандидата технических наук. - СПб, 2012. - 200 с.
Черемушкин А. В. Криптографические протоколы, основные свойства и уязвимости. - М.: Издательский центр "Академия", 2009. - 272 с.
Суханов А. В. Разработка теоретических основ и методологии мониторинга безопасности информационных систем для критических схем применения // Диссертация на соискание ученой степени доктора технических наук. - СПб, 2010. - 368 с.
Калинин М. О. Автоматизированный анализ выполнения правил политик безопасности в информационных системах // Диссертация на соискание ученой степени кандидата технических наук. - СПб, 2003.
Андрианов В. И., Крылов А. И. Решение задачи классификации при мониторинге уязвимостей автоматизированных систем // url: http://jurnal.org/articles/2010/inf23.html. 2010.
Meyer B. Applying "Design by Contract" // Computer (IEEE). 1992. V. 25. Issue 10. Р. 40-51.
- Купить
