%0 Journal Article
%T 一种网络入侵检测系统安全通信协议及其验证
%A 李晓燕
%A 苗长云？
%J 计算机科学
%D 2011
%X 针对网络入侵检测系统中安全通信存在的一些问题，制定了一种适用于网络入侵检测系统的网络安全通信协议，并对其安全性进行了形式化分析和验证，使得安全性和通信效率并重。
%K 网络入侵
%K 检测
%K 安全通信协议
%K 形式化验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=1110024&flag=1