Security and Communication Networks

Research Article

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

Figure 3

The program control-flow graph.