Breaking and fixing the Helsinki protocol usingSMV
Yuqing Zhang, Xiao · Electronics Letters · 1999
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 protocol.