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

摘要

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