一种BAN-逻辑的修正

Download: PDF (1058 KB)
Export: BibTeX | EndNote (RIS)

Abstract This paper points out some flaws in BAN-logic, and presents a modified version of the BAN-logic, which has a sound semantics and correct loigc rules. It is concluded that, if the initial condition is right, the result from this logic is right as well.

Key words： Authentication protocol BAN-logic

Received: 16 November 1998

PACS:

TN918

	Service

	E-mail this article
	Add to my bookshelf
	Add to citation manager
	E-mail Alert
	RSS
	Articles by authors



	Zheng Dong
	Wang Changjie
	Wang Yumin

Cite this article:

Zheng Dong,Wang Changjie,Wang Yumin. A MODIFIED BAN-LOGIC[J]. , 2000, 22(4): 579-584 .

URL:

http://jeit.ie.ac.cn/EN/ OR http://jeit.ie.ac.cn/EN/Y2000/V22/I4/579

[1]	QI Yong, GUO Shiwei, LI Qianmu. A Secure Authentication Protocol of Ubiquitous Convergent Network[J]. JEIT, 2016, 38(7): 1800-1807.