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.

Attestation proxy party-supported remote attestation model and its secure protocol

With the popularization and development of network communication and especially the increasing requirement of secure protocol, because of the diversification of secure requirements and various attack techniques, people made higher request for the efficiency and the veracity of network protocol′s formalization analyses.

This paper proposes a new RFID secure protocol which uses the mechanism that the random sequence stored in the tag produces the pseudo random number to replace the random value generator.