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
fDate :
7/22/1999 12:00:00 AM
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;
Journal_Title :
Electronics Letters
DOI :
10.1049/el:19990836
