• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Семинар лаборатории ПОИС: «Сети Петри и моделирование безопасных динамических ассоциаций» // Д. Фрумин

В понедельник, 25 февраля, состоялось очередное заседание научного семинара Лаборатории.

Был заслушан доклад студента НИУ ВШЭ (отделение ПИ) Даниила Фрумина по теме «Сети Петри и моделирование безопасных динамических ассоциаций (Petri nets for modeling transient secure associations)»

 

Аннотация:

 В последнее время, повсеместные вычисления (ubiquitous computing) изменили наше отношение к безопасности и способам авторизации. Старые способы аутентификации и авторизации не применимы в случае отсутствия единого постоянно работающего сервера авторизации. Одна из альтернативных форм аутентификации – безопасные динамические ассоциации (transient secure association), основанные на принципе «новорожденного утенка» (Resurrecting Duckling policy).

Были рассмотрены формализмы для моделирования поведения агентов в среде, допускающей безопасные динамические ассоциации, а также сравнение этих формализмов с некоторыми классами сетей Петри.

Слайды:  скачать (pdf)


 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!