Найти:

Ключевая фраза: протокол нидхема-шредера

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

Статьи: 1

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

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

Журнал:

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

Автор(ы):

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