节点文献
关于BAN逻辑扩展的注记
A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS
【摘要】 本文指出了W.Mao(1995)对其协议(1)的证明中存在的错误,并对其在协议理想化过程中提出的N-u规则作了探讨,指出其扩展N-u的三条规则的缺陷,并作了改进,最后,给出一个例子说明N-u规则的应用。
【Abstract】 This paper points out a mistake occurred in the Protocol(1)(W.Mao, 1995), the mistake is due to a wrong initial assumption, also this paper shows the weakness of the N-u based-rules. Finaly, an application of the N-u rules is given by an example.
【基金】 国家自然科学基金(69683005)
- 【文献出处】 电子科学学刊 , 编辑部邮箱 ,2000年01期
- 【分类号】TN918
- 【下载频次】44