网络入侵检测系统安全通信协议的设计及验证

摘要：

针对网络入侵检测系统中各模块间安全通信存在的一些问题,本文提出一种适用于网络入侵检测系统的网络安全协议,并在理论上验证其安全性和在产品测试中证明其可靠性.

关键词：安全通信协议、协议设计、形式化验证

分类号：TP309.2(计算技术、计算机技术)

资助基金：广东省自然科学基金资助项目7007730;湖南省教育厅科学研究课题09C1200

在线出版日期：2010-09-06（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：51-55