Abstract: Considering some problems of secure communications between the various modules in distributed intrusion detection system, a kind of network security protocols of applicable to distributed intrusion detection system were poposed. The protocols are proved to be safe in theory and to be a reliable in product testing.

Key words: Network intrusion, Secure communication protocol, Protocol design, Formal verification