The Scientific World Journal

Research Article

A Model Based Security Testing Method for Protocol Implementation

Figure 4

Intruder contained model, NSPK.
632154.fig.004