Security Analysis of NSSK Protocol and its Improvement

Author

Junguo, Liao ; Zhu Bin ; Yong, He

Author_Institution

Sch. of Comput. Sci. & Eng., Hunan Univ. of Sci. & Technol., Xiangtan, China

fYear

2009

fDate

12-14 Dec. 2009

Firstpage

115

Lastpage

118

Abstract

Authentication protocols are the basis of security in many distributed systems. NSSK protocol is an early classical authentication protocol, which is the basic model of Kerberos protocol widely applied. This paper introduces NSSK protocol, and analyzes its security, and proposes an improved NSSK protocol which is formally proved with BAN logic. The proof shows that the improved NSSK protocol can accomplish its security goal and resist some attacks, such as replay and cheat.

Keywords

cryptographic protocols; message authentication; public key cryptography; telecommunication security; BAN logic; Kerberos protocol; NSSK protocol; Needham-Schroeder symmetric key; authentication protocols; network security analysis; symmetric key cryptography; Authentication; Body sensor networks; Computer science; Computer security; Cryptographic protocols; Logic; Network servers; Public key cryptography; Resists; Synchronization; BAN logic; NSSK protocol; Security analysis; improved NSSK protocol;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependable, Autonomic and Secure Computing, 2009. DASC '09. Eighth IEEE International Conference on

Conference_Location

Chengdu

Print_ISBN

978-0-7695-3929-4

Electronic_ISBN

978-1-4244-5421-1

Type

conf

DOI

10.1109/DASC.2009.44

Filename

5380299