DocumentCode
1554481
Title
Breaking and fixing the Helsinki protocol using SMV
Author
Zhang, Yuqing ; Xiao, Guozhen
Author_Institution
Inst. of Inf. Security, Xidian Univ., Xi´´an, China
Volume
35
Issue
15
fYear
1999
fDate
7/22/1999 12:00:00 AM
Firstpage
1239
Lastpage
1240
Abstract
An analysis is made of the Helsinki protocol using SMV, a model checker. The results show that the Horng-Hsu attack is the only successful attack on the protocol, and a new modified Helsinki protocol is proposed which is immune to the attack and better than the previous revised Helsinki protocols
Keywords
protocols; public key cryptography; Helsinki protocol; Horng-Hsu attack; SMV; attack immunity; model checker; public key encryption;
fLanguage
English
Journal_Title
Electronics Letters
Publisher
iet
ISSN
0013-5194
Type
jour
DOI
10.1049/el:19990836
Filename
790772
Link To Document