Notes on the investigation of the freshness in BNA logic

Yuan Ding; Fan Pingzhi; He Mingxing

Volume 24 Issue 8

Aug. 2002

Turn off MathJax

Article Contents

Article Navigation > Journal of Electronics & Information Technology > 2002 > 24(8): 1131-1133

Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.

Citation:

Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.

Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.

Citation:

Yuan Ding, Fan Pingzhi, He Mingxing. Notes on the investigation of the freshness in BNA logic[J]. Journal of Electronics & Information Technology, 2002, 24(8): 1131-1133.

PDF( 543 KB)

Notes on the investigation of the freshness in BNA logic

Yuan Ding^{①②;范平志},
Fan Pingzhi,
He Mingxing

Received Date: 2001-02-26
Rev Recd Date: 2001-10-15
Publish Date: 2002-08-19

Abstract

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.

FullText(HTML)

References(1)

References

M. Burrows, M. Abadi, R. Needham, A logic of authentication, ACM Trans. on computer system,1990, 8(1), 18-36.[2]C. Boyd, W. Mao, On a limitations of BAN logic, In Lecture Notes in Computer Science, 765,Berlin, springer-verlag, 1993, 240-247.[3]D.M. Nessett, A critique of Burrows, Abadi and Needham logic. Operating System Review,1990, 24(2), 35-38.[4]L. Gong, R. Needham, R. Yahalom, Reasoning about belief in cryptographic protocol, Proc.,IEEE Symp. Security and Privacy, Oakland, Calif., 1990, 234-248.[5]B. Syverson, Paul, V. Oorschot, On unifying some cryptographic protocol logics, Proc. IEEE Svmp., Security and Privacy, Oakland, Calif., 1994, 14-28.[6]卿斯汉,关于密码协议分析的注记,China Crypt96,vhengzhou,1996,214-219.[7]郑东,王常杰,王育民,一种BAN逻辑的修正,电子科学学刊,2000,22(4),579-584.[8]宋荣功,胡正名,杨义先,对BAN逻辑中新鲜子的研究,电子科学学刊,2000,22(3),505-508.

Relative Articles

Supplements(0)

Cited By

Proportional views