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

Design and Verification of Secure Communication Protocol for Network Intrusion Detection System

作　　者：宋勇[1] 秦拯[2] 

机构地区：[1]湖南民族职业学院信息技术系,湖南岳阳414000 [2]湖南大学软件学院,湖南长沙410082

出　　处：《计算机与现代化》2010年第7期51-55,共5页Computer and Modernization

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

摘　　要：针对网络入侵检测系统中各模块间安全通信存在的一些问题,本文提出一种适用于网络入侵检测系统的网络安全协议,并在理论上验证其安全性和在产品测试中证明其可靠性。Considering some problems that secure communications between the various modules in distributed intrusion detection system,a kind of network security protocols of applicable to distributed intrusion detection system is proposed.The protocols is proved to be safe in theory and to be a reliable in product testing.

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

分 类 号：TP309.2[自动化与计算机技术—计算机系统结构]