Citation
Yq. Zhang et Gz. Xiao, Breaking and fixing the Helsinki protocol using SMV, ELECTR LETT, 35(15), 1999, pp. 1239-1240
Citations number
4
Categorie Soggetti
Eletrical & Eletronics Engineeing
Journal title
ELECTRONICS LETTERS
ISSN journal
00135194
→ ACNP
Volume
35
Issue
15
Year of publication
1999
Pages
1239 - 1240
Database
ISI
SICI code
0013-5194(19990722)35:15<1239:BAFTHP>2.0.ZU;2-W
Abstract
An analysis is made of the Helsinki protocol using SMV, a model checker. Th
e results show that the Horng-Hsu attack is the only successful attack on t
he protocol, and a new modified Helsinki protocol is proposed which is immu
ne to the attack and better than the previous revised Helsinki protocol.