Formal analysis to revised Helsinki protocol based on strand spaces
Xu Wenhua · Jisuanji gongcheng yu sheji · 2008
The Helsinki protocol is a key establish protocol contained in the ISO/IEC DIS 11770-3,Mithcell and Yenu propose a revised version of the protocol for the former attacked from the inner.However,the security of the revised protocol hasnt’ confirmed yet,to verify the security of the revised protocol,a modeling and analysis is proposed based on the strand space.The agreement of the protocol is determined by the relationship between the_c minimal member and the other strand,the secret of the protocol is analysis based on the idea.The analysis proved the correctness of the protocol,and the cause of the formal protocols’ weakness is that the minimal member maybe on the Mt strand,a theoretic support is provided to the revision.