Notes on the investigation of the freshness in BNA logic
“对BAN逻辑中新鲜子的研究”的注记

In this paper, it is pointed out by a counterexample that the condition of the freshness rule on BAN logic which in the paper "The Investigation of the Freshness in BAN Logic" written by Song Ronggong, et al. is so strict that it regards possibly a secure protocol as an insecure protocol.