A Model Based Security Testing Method for Protocol Implementation

Figure 1

SE-LTS for NSPK receiver.