一种基于分布式入侵检测系统的安全通信协议的研究.pdfVIP

第25卷 第4期 湖南理工学院学报(自然科学版) Vb1．25NO．4 2012年 12月 JournalofHunanInstituteofScienceandTechnology aturalSciences) Dec．2012 一 种基于分布式入侵检测系统的 安全通信协议的研究 李 健 (岳阳广播电视大学，湖南 岳阳414000) 摘 要：针对分布式入侵检测系~．(ADIDS)中各通信 中间件的安全通信协议 目前存在的一些问题，提 出了一种适用于 分布式入侵检测系统的安全通信协议，并采用形式化验证方法和仿真攻击测试等方法，证明了本协议具有较好的安全性及 通信效率． 关键词：入侵检测；安全通信协议；协议设计；形式化验证 中图分类号：TP309．2 文献标识码：A 文章编号：1672—5298(2012)04-0043-06 K1r、eSearCn■0I』a eCUre ．L．0nlm Unl●CatJl●0n J1h}，r0tJ0C0l●l0r Agent--basedDistributionIntrusionDetectionSystem LIJian (YueyangRadio TVUniversity，Yueyang414000，China) Abstract：Considering someproblemsthatsecurecommunicationsbetweenthevariousmodulesin distributed intrusion detectionsystem，akindofnewtorksecurityprotocolofapplicabletodistributedintrusiondetectionsystem isproposed．Combining withtheoryandpractice，itwasalsoprovedthatthisprotocolisefficient． Keywords：intrusiondetectionsystem；securecommunicationprotocol；protocoldesign；formatverification 引言 目前入侵检测系统 自身的安全性已经成为网络安全的关键．ADIDS通过Agent通信来协同完成各种工 作，因此通信的安全性是 ADIDS首要关注的安全性问题．为了提高 ADIDS 自身的安全性，本文针对 ADIDS中Agent部件间的通信安全性，提出了一种改进的安全通信协议，并对其安全性进行了形式化和 仿真攻击测试双重验证． 1研究背景 ADIDS的检测和控制模块工作在一个开放网络环境中，攻击者既可以窃听网络上的数据包，根据通 信的数据量来判断代理中的内容，也可直接截获通信，使得代理中的保密数据可能会被破坏或泄漏，甚至 杀死代理，或者直接伪装成系统内部Agent攻击系统．因此，通信协议的安全性非常重要． 要保证通信传输的安全，实现通信的加密和认证，采用公开密钥技术的SSL(SecureSocketLayer)协议 是很好的选择，它已经成为保密通信的标准 J【J．另外，IETF提出的入侵检测交换协议 IDXP(Intrusion DetectionExchangeProtoco1)E】草案也被列入到安全通信协议范畴．为IDXP提供协议支持的是BEEP协议 (BlockExtensibleExchangeProtoco1)，该协议加载于TCP协议之上，是一个用于面向连接的异步交互通用 应用协议，IDXP是BEEP的一部分，IDXP的许多特色功能(如认证、保密性等)都是由BEEP框架提供的． IDXP还采用了TLS(TransportSecurityProfile)和 SASL(SimpleAuthenticationSecurityLayer)保证通信的安 全性，其中TLS协议实现Agent通信过程中的私密性和数据完整性，而SASL可以在BEEP管道建立过程 收稿 日期：2012—10．02 作者简介：李