A NOTE ON THE AUGMENTATION OF BAN-LIKE LOGICS
关于BAN逻辑扩展的注记

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.