The Scientific World Journal

Research Article

A Model Based Security Testing Method for Protocol Implementation

Figure 2

Glued security extension graph of NSPK.
632154.fig.002