this paper introduces and analyzes some popular formal models of network protocols,then advances the superiorities of temporal logic which is compared to the other formal models of network protocols which people usually use,at last,this paper gives an example about the formal description of IGMP based on a linear temporal logic named MPTL.

Then we discuss the protocols IGMP and PIM-SM, which are essential to realize multicast.

Indicate that use hybrid WDM-PON access structure and add adjacent groups join-leave method into IGMP protocol to improve the channel zapping time.

Study on mine mobile communication protocol the base station mobile phone;

Securing QoS on-demand routing protocol for Ad hoc networks;

Development of CAN protocol for greenhouse control system;

A Voting Agreement about Distrust Arbitration on the Network;

Construction of Identification Standards for Manifestations of Monopoly Agreement——Reflection on relative provisions of monopoly agreement in our anti-monopoly law;

Studies on the Legal Force of International Commercial Arbitration s Agreement;

Design and Implement of Multimedia Multicast on SIP Protocols Stack;

This article introduces in detail the protocols of MOSBUS,the composition of a fully mechanized coal caving face, the major technologic indexes of equipment control system, and the design schemes of computer software.

Some non-repudiation protocols based on the Trusted Third Party (TTP) are compared and their disadvantages are pointed out.