一种分析和设计认证协议的新逻辑,缪祥华,张云生,本文扩展了BAN逻辑。根据扩展后的BAN逻辑,认证协议的分析和设计可以在同一个逻辑框架中来进行。