Athena approach can not analyze some complex security protocols because of their poor cryptographic primitives.

• Athena分析方法由于没有抽象更多的密码学原语,因此不能分析较复杂的安全协议。