Модель не враховує ймовірностей — якщо атакувальник має шанс 2^(-128) вгадати ключ, модель вважає це абсолютно неможливим

Модель ігнорує side-channel атаки: timing attacks, power analysis та квантові атаки

Модель Dolev-Yao повністю замінює обчислювальну модель у сучасному аналізі протоколів

Модель не розрізняє «практично неможливе» та «математично неможливе», що є причиною її комбінування з обчислювальною моделлю