Найти:

Ключевая фраза: уязвимость протокола

Ниже приведен список материалов, найденных в базе данных SciNetwork, с ключевым словом «уязвимость протокола».

Статьи: 1

01.Применение TLA+/TLC для моделирования и верификации криптографических протоколов (2024)

Сохранить в закладках

Журнал:

МОДЕЛИРОВАНИЕ И АНАЛИЗ ИНФОРМАЦИОННЫХ СИСТЕМ

Автор(ы):

Нейзов М. В., Кузьмин Е. В.