Зловмисник повністю контролює мережевий канал — може перехоплювати, змінювати, видаляти та вставляти повідомлення, але не може зламати криптографічні примітиви або вгадати секретний ключ

Зловмисник є PPT-алгоритмом, що може зламати будь-яке шифрування з нехтовно малою ймовірністю

Модель враховує side-channel атаки та квантові загрози як частину моделі зловмисника

Криптографічні примітиви вважаються ідеальними «чорними скриньками», що дозволяє аналізувати логіку протоколу незалежно від математичних деталей