Research on An Algorithm for Analyzing Security Protocol
Jie She · Microcomputer Information · 2009
To do some research about an automatic algorithm theory for analyzing security protocols. This algorithm can analyse veri- ous security properties of security protocol. It bases on the theory of strand space which captures exact causal relation information and combines theory proving and model checking. So it is efficient to analyse properties of security protocols. Base on this theory, we analyse the authentication propertie of the Helsinki protocol which is brought forward in ISO/IEC DIS 11770-3 and we can conclude that this protocol can be flawed .