|
|
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.
|
Received: 26 February 2001
|
|
|
|
|
|
|
|