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

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

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

Аннотация:

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

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

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