一种网络入侵检测系统安全通信协议及其验证

针对网络入侵检测系统中安全通信存在的一些问题，制定了一种适用于网络入侵检测系统的网络安全通信协议，并对其安全性进行了形式化分析和验证，使得安全性和通信效率并重。