Альтернативные модели безопасности для псевдослучайной функции

В статье рассматриваются различные модели безопасности для псевдослучайных функций, необходимые при анализе стойкости протоколов (например, протокола 5G-AKA выработки общего ключа в сетях 5G). Рассмотрено несколько формальных моделей, показана их сводимость к стандартной модели $\mathsf{PRF}$ для псевдослучайной функции.