DocumentCode
2751207
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
fYear
2009
fDate
3-5 April 2009
Firstpage
381
Lastpage
384
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Computer and Communication, 2009. ICFCC 2009. International Conference on
Conference_Location
Kuala Lumpar
Print_ISBN
978-0-7695-3591-3
Type
conf
DOI
10.1109/ICFCC.2009.78
Filename
5189809
Link To Document