Research Article

A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace

Figure 5

The change of similarity and of the time overhead.