Прикладная дискретная математика. Приложение
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


ПДМ. Приложение:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Прикладная дискретная математика. Приложение, 2016, выпуск 9, страницы 80–83
DOI: https://doi.org/10.17223/2226308X/9/31 (Mi pdma270) 		 
Эта публикация цитируется в 1 научной статье (всего в 1 статье)

Математические основы компьютерной безопасности

О дискретно-автоматных моделях атак в компьютерных сетях

Д. Е. Горбатенкоa, С. Е. Кочемазовb, А. А. Семёновb

a Институт математики, экономики и информатики Иркутского государственного университета, г. Иркутск
b Институт динамики систем и теории управления им. В. М. Матросова СО РАН, г. Иркутск
PDF полного текста (565 kB) Список цитирования (1)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.17223/2226308X/9/31
Аннотация: Предлагается новая модель развития атак в компьютерных сетях. Основу модели составляет дискретный автомат синхронного действия, задаваемый графом сети. Рассматриваются переходы между состояниями данного автомата, совершаемые в дискретные моменты времени. Вершинам графа (интерпретирующим хосты сети) в каждый момент времени приписываются двоичные векторы, называемые состояниями хостов. В каждый следующий момент все состояния хостов синхронно пересчитываются по фиксированным правилам. В рамках предложенной модели проанализировано развитие некоторых известных типов атак. Изучены возможности атак с нескольких хостов, а также описана техника предотвращения атак посредством решения комбинаторной задачи расстановки патчей. В вычислительных экспериментах рассматривались сети, сгенерированные случайным образом. Перечисленные выше задачи для этих сетей решались за счёт их сведения к проблеме булевой выполнимости.
Ключевые слова: дискретный автомат, граф атак, задача булевой выполнимости, SAT.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-07-00403а
15-07-07891а
Работа выполнена при частичной поддержке РФФИ, проекты № 14-07-00403а и 15-07-07891а.
Тип публикации: Статья
УДК: 519.7
Образец цитирования: Д. Е. Горбатенко, С. Е. Кочемазов, А. А. Семёнов, “О дискретно-автоматных моделях атак в компьютерных сетях”, ПДМ. Приложение, 2016, № 9, 80–83
Цитирование в формате AMSBIB
\RBibitem{GorKocSem16}
\by Д.~Е.~Горбатенко, С.~Е.~Кочемазов, А.~А.~Семёнов
\paper О дискретно-автоматных моделях атак в~компьютерных сетях
\jour ПДМ. Приложение
\yr 2016
\issue 9
\pages 80--83
\mathnet{http://mi.mathnet.ru/pdma270}
\crossref{https://doi.org/10.17223/2226308X/9/31}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/pdma270
  • https://www.mathnet.ru/rus/pdma/y2016/i9/p80
    • Эта публикация цитируется в следующих 1 статьяx:
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Прикладная дискретная математика. Приложение
    Статистика просмотров:
    Страница аннотации:160
    PDF полного текста:44
    Список литературы:45
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024