关于BAN逻辑扩展的注记

摘要：

本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用.

关键词：认证协议、BAN逻辑

所属期刊栏目：22

分类号：TN918

资助基金：中国科学院资助项目69683005

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：73-77