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

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

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



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






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


ПДМ. Приложение, 2016, выпуск 9, страницы 80–83 (Mi pdma270)  

Эта публикация цитируется в 1 научной статье (всего в 1 статье)

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

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

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

a Институт математики, экономики и информатики Иркутского государственного университета, г. Иркутск
b Институт динамики систем и теории управления им. В. М. Матросова СО РАН, г. Иркутск

Аннотация: Предлагается новая модель развития атак в компьютерных сетях. Основу модели составляет дискретный автомат синхронного действия, задаваемый графом сети. Рассматриваются переходы между состояниями данного автомата, совершаемые в дискретные моменты времени. Вершинам графа (интерпретирующим хосты сети) в каждый момент времени приписываются двоичные векторы, называемые состояниями хостов. В каждый следующий момент все состояния хостов синхронно пересчитываются по фиксированным правилам. В рамках предложенной модели проанализировано развитие некоторых известных типов атак. Изучены возможности атак с нескольких хостов, а также описана техника предотвращения атак посредством решения комбинаторной задачи расстановки патчей. В вычислительных экспериментах рассматривались сети, сгенерированные случайным образом. Перечисленные выше задачи для этих сетей решались за счёт их сведения к проблеме булевой выполнимости.

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

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 14-07-00403а
15-07-07891а
Работа выполнена при частичной поддержке РФФИ, проекты № 14-07-00403а и 15-07-07891а.


DOI: https://doi.org/10.17223/2226308X/9/31

Полный текст: PDF файл (565 kB)
Список литературы: PDF файл   HTML файл

Тип публикации: Статья
УДК: 519.7

Образец цитирования: Д. Е. Горбатенко, С. Е. Кочемазов, А. А. Семëнов, “О дискретно-автоматных моделях атак в компьютерных сетях”, ПДМ. Приложение, 2016, № 9, 80–83

Цитирование в формате AMSBIB
\RBibitem{GorKocSem16}
\by Д.~Е.~Горбатенко, С.~Е.~Кочемазов, А.~А.~Сем\"eнов
\paper О дискретно-автоматных моделях атак в~компьютерных сетях
\jour ПДМ. Приложение
\yr 2016
\issue 9
\pages 80--83
\mathnet{http://mi.mathnet.ru/pdma270}
\crossref{https://doi.org/10.17223/2226308X/9/31}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/pdma270
  • http://mi.mathnet.ru/rus/pdma/y2016/i9/p80

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Д. Е. Горбатенко, А. А. Семëнов, “Эффективный алгоритм построения множества кратчайших атак в рамках одной модели развития атак в компьютерной сети”, ПДМ. Приложение, 2018, № 11, 90–95  mathnet  crossref
  • Прикладная дискретная математика. Приложение
    Просмотров:
    Эта страница:74
    Полный текст:16
    Литература:13

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019