An Improved Security Protocol Formal Analysis with BAN Logic

Author

Tingyuan, Li ; Xiaodong, Liu ; Zhiguang, Qin ; Xuanfang, Zhang

Author_Institution

Sch. of Comput. Sci. & Eng., Univ. of Electron. Sci. & Technol. of China, Chengdu, China

fYear

2009

fDate

6-7 June 2009

Firstpage

102

Lastpage

105

Abstract

BAN logic can prove whether a protocol can reach expected target and find some flaws in the protocol. The paper analyzed constitute of BAN logic and analysis steps. On the basis of the above work, BAN logic was used to construct an ideal model of the improved NSSK protocol and the security of the NSSK protocol was analyzed with the initial hypothesis and the logic postulate. The paper also pointed out various kinds of demerit of BAN logic and discussed some possible improvement.

Keywords

cryptographic protocols; formal logic; formal verification; BAN logic; security protocol formal analysis; Aerospace electronics; Aerospace engineering; Authentication; Body sensor networks; Computer science; Cryptography; Electronic commerce; Logic; Protocols; Security; BAN logic; Formal Analysis; NSSK Protocol; Security Protocol;

fLanguage

English

Publisher

ieee

Conference_Titel

Electronic Commerce and Business Intelligence, 2009. ECBI 2009. International Conference on

Conference_Location

Beijing

Print_ISBN

978-0-7695-3661-3

Type

conf

DOI

10.1109/ECBI.2009.101

Filename

5189496

Link To Document

https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2745735