2000, 22(1): 73-77.
刊出日期：2000-01-19
关键词:
认证协议; BAN逻辑
本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
