Notes on the investigation of the freshness in BNA logic
Yuan Ding①②; Fan Pingzhi①; He Mingxing①
①Institute of Mobile Comm.,Southwest Jiaotong University Chengdu 610031 China;②School of Electronic Information Sichuan University Chengdu 610064 China
Abstract: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.
袁丁; 范平志; 何明星. “对BAN逻辑中新鲜子的研究”的注记[J]. 电子与信息学报, 2002, 24(8): 1131-1133 .
Yuan Ding①②; Fan Pingzhi①; He Mingxing①. Notes on the investigation of the freshness in BNA logic. , 2002, 24(8): 1131-1133 .