“对BAN逻辑中新鲜子的研究”的注记

NOTES ON THE INVESTIGATION OF THE FRESHNESS IN BAN LOGIC

该文通过一个反例说明,宋荣功等“对BAN逻辑中新鲜子的研究”中关于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.