Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 36: Строка 36:
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
{{announce Seminar| 17 ноября 2017 г.  
 
{{announce Seminar| 17 ноября 2017 г.  
| Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity"
+
| Рассматривается задача обнаружения скомпрометированных коммутаторов в SDN сетях на основе анализа сетевой статистики.
  
В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима.|Гнатенко А. Р.
+
 
 +
SDN сети предоставляют возможность анализировать сетевую статистику сети при помощи счетчиков, установленных на правилах маршрутизации. Счетчик каждого правила маршрутизации хранит информацию о количестве пакетов, которые были обработаны этим правилом с момента его установки на коммутатор. Эту информацию можно использовать для обнаружения скомпрометированных коммутаторов.
 +
 
 +
На семинаре будут:
 +
- представлена формальная модель SDN сети, описывающая значения счетчиков
 +
правил маршрутизации.
 +
- предложен алгоритм предсказания значений счетчиков всей сети, основываясь
 +
на значениях счетчиков на граничных коммутаторах.
 +
- описано применение алгоритма предсказания значений счетчиков правил 
 +
маршрутизации для решения задачи обнаружения скомпрометированных коммутаторов.
 +
 
 +
| Иван Петров (аспирант 3 г/о ЛВК АСВК)
 
|  }}
 
|  }}
  

Версия 14:06, 21 ноября 2017

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г. О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. Вершинин А., 618/1 гр.


Теория управляющих систем и математические модели СБИС
18 ноября 2017 г. Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» Павлова А.Ф.


Сложность решения дискретных задач
22 ноября (в среду) 2017 г. Упаковки и покрытия путей в графах и кёниговы графы аннотация доклада Мокеев Д.Б. (ННГУ)


Теоретические проблемы программирования
17 ноября 2017 г. Рассматривается задача обнаружения скомпрометированных коммутаторов в SDN сетях на основе анализа сетевой статистики.


SDN сети предоставляют возможность анализировать сетевую статистику сети при помощи счетчиков, установленных на правилах маршрутизации. Счетчик каждого правила маршрутизации хранит информацию о количестве пакетов, которые были обработаны этим правилом с момента его установки на коммутатор. Эту информацию можно использовать для обнаружения скомпрометированных коммутаторов.   На семинаре будут: - представлена формальная модель SDN сети, описывающая значения счетчиков правил маршрутизации. - предложен алгоритм предсказания значений счетчиков всей сети, основываясь на значениях счетчиков на граничных коммутаторах. - описано применение алгоритма предсказания значений счетчиков правил  маршрутизации для решения задачи обнаружения скомпрометированных коммутаторов.  

Иван Петров (аспирант 3 г/о ЛВК АСВК)