After analyzing the traditional notarization protocol based on complete fair mediator systemically and studying the characteristics ol P2P network itself,this paper proposes a notarization protocol of P2P network based on incomplete fair mediator.

Improvement of BSW logic in public-key authentication protocol design;

The analyzing methods are to parse NS public-key authentication protocol into two one-way authentication sub-protocols of challenge-response type and to analyze its design flaw from the view of the direction identifier loss of the message.

Provable secure authentication protocol for WLAN mesh;

Secure and efficient RFID mutual authentication protocol;

The Logic Design And Research Of UBAP Authentication Protocol;

Analysis and comparation on the protocol verification of computer network;

The purpose and method of protocol verification are expounded,and the protocol verification and its characteristics and strongpoint based on FMS, CCS model and Petri nets are introduced.

The basic concepts of protocol specification and verification are presented briefly, and the basic ideas are given by means of examples with respect to the construction of specifications for implementation and protocol verification.

Combining CPEBSDL, Petri nets reachable marking graph, and Petri net process, this paper proposes an approach named PMA_CPEBSDL that can automatically construct a Petri nets model for communication protocol, presents some methods of protocol validation and test.