Considering the data flow description in protocol security testing,mutation analysis is introduced based on constructed type algebra,and a new protocol security testing method is proposed.

A new protocol security testing method is proposed based on a fault model.

In the second part, we design and develop a protocol security test system which can support the testing of OSPFv3 protocol implementations.

Petri net model and analysis for electronic payment security protocol;

Mobile RFID security protocol and its GNY logic analysis;

The Research and Implementation on Formal Analysis of security protocols;

Improved first-order logic model for security protocols;

Reconstruction technology of attack sequence against security protocols;

Research on Formal Analysis of Security Protocols;

Based on the basic OSI model,we analyze potential security issues in each layer of the communications net- work including transport network security,protocol security,management network security and application security.

The problems of network security and protocol security, quality of service, business model .

Logic analysis of the cryptographic protocol and its improvements;

RFID cryptographic protocol based on ID change

Informal methods for the analysis of cryptographic protocols especially authentication protocols are becoming more important in complicated modern communications.