Title :
An Improvement Key Distribution Protocol and Its BAN Analysis
Author :
Shi Shi-ying ; Mao Yu-Ming
Author_Institution :
Dept of Inf. Eng., Shan-dong Jiaotong Univ., Jinan, China
Abstract :
This paper mainly discusses the role of formal analysis in the design of the authentication protocols function; in allusion to Needham-Schroeder Protocol with shared key and Otway-Rees Protocol , this paper propose a new authentication protocol and then analyze it using BAN logic, according to the result of formal analysis, paper show an attack mode to the protocol and point out that formal analysis is helpful for the design of protocol ; Article final discussion this kind of analysis function, limitation as well as improvement direction.
Keywords :
cryptographic protocols; formal logic; formal verification; BAN logic; Needham-Schroeder protocol; Otway-Rees protocol; authentication protocols function; formal analysis; key distribution protocol; Authentication; Body sensor networks; Cryptography; Design engineering; Information analysis; Knowledge based systems; Logic design; Niobium; Protocols; Public key; BAN logic; New key Distribution Protocol; Otway-Rees Protocol;
Conference_Titel :
Future Computer and Communication, 2009. ICFCC 2009. International Conference on
Conference_Location :
Kuala Lumpar
Print_ISBN :
978-0-7695-3591-3
DOI :
10.1109/ICFCC.2009.78
