Research Article

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

Figure 4

The LTS of part source codes.