Abstract: The concept, contents, characteristics and ability of various protocolverification techniques used now are discussed. The relationship among the protocolverification techniques is described. The development tendency is indicated.