基于 BB-BM 算法的网络协议内容符合性测试方法.pdfVIP

第４５ 卷第６期 东南大学学报（自然科 学版 ） Ｖｏｌ．４５ Ｎｏ．６ 　 ２０１５ 年１１ 月 ＪＯＵＲＮＡＬ ＯＦ ＳＯＵＴＨＥＡＳＴ ＵＮＩＶＥＲＳＩＴＹ （Ｎａｔｕｒａｌ Ｓｃｉｅｎｃｅ Ｅｄｉｔｉｏｎ） 　 Ｎｏｖ．２０１５ ｄｏｉ：１０．３９６９／ｊ．ｉｓｓｎ．１００１ －０５０５．２０１５．０６．００１ 基于ＢＢＢＭ算法的网络协议内容符合性测试方法 李　涛　 胡爱群　 高　尚１ １ ２ （东南大学信息科学与工程学院，南京２１００９６）１ （香港理工大学电子计算学系，香港９９９０７７）２ 摘要：为了检测网络通信协议的安全性，使用高效的模式识别方法对协议内容进行符合性测试． 采用黑盒测试的方法，在检测端将协议服务器和检测模块分离，设计了协议安全性测试框架和测 试流程；提出了以字节块为单位、分块计算摘要值再进行匹配的ＢＢＢＭ算法．实验结果表明，使 用该方法能够对网络协议按照内容种类划分值域空间，通过匹配算法进行符合性测试．在进行模 式匹配时通过分块处理减少了模式串和目标串数量，从而导致跳跃距离增加，匹配次数减少，检 测性能在最优和最差测试状态下较现有检测方法分别提高了２０％和８０％．在该测试框架下，以 字节块为单位进行匹配有效提升了检测效率，适用于对字段格式固定的网络协议进行内容符合 性测试． 关键词：内容符合性；模式识别；ＢＭ算法；协议安全 中图分类号：ＴＮ９１８．９１　　文献标志码：Ａ　　文章编号：１００１ －０５０５（２０１５）０６１０２７０５ Ｃｏｎｔｅｘｔ ｃｏｎｓｉｓｔｅｎｃｙ ｔｅｓｔ ｍｅｔｈｏｄ ｆｏｒ ｎｅｔｗｏｒｋ ｐｒｏｔｏｃｏｌ ｂａｓｅｄ ｏｎ ＢＢＢＭ ａｌｇｏｒｉｔｈｍ Ｌｉ Ｔａｏ 　 Ｈｕ Ａｉｑｕｎ 　 Ｇａｏ Ｓｈａｎｇ１ １ ２ （Ｓｃｈｏｏｌ ｏｆＩｎｆｏｒｍａｔｉｏｎ Ｓｃｉｅｎｃｅ ａｎｄ Ｅｎｇｉｎｅｅｒｉｎｇ，ＳｏｕｔｈｅａｓｔＵｎｉｖｅｒｓｉｔｙ，Ｎａｎｊｉｎｇ２１００９６，Ｃｈｉｎａ）１ （Ｄｅｐａｒｔｍｅｎｔ ｏｆＣｏｍｐｕｔｉｎｇ，Ｈｏｎｇ Ｋｏｎｇ Ｐｏｌｙｔｅｃｈｎｉｃ Ｕｎｉｖｅｒｓｉｔｙ，Ｈｏｎｇ Ｋｏｎｇ９９９０７７，Ｃｈｉｎａ）２ Ａｂｓｔｒａｃｔ：Ｉｎ ｏｒｄｅｒ ｔｏ ｃｈｅｃｋ ｔｈｅ ｓｅｃｕｒｉｔｙ ｏｆ ｎｅｔｗｏｒｋ ｃｏｍｍｕｎｉｃａｔｉｏｎ ｐｒｏｔｏｃｏｌｓ，ｔｈｅ ｅｆｆｉｃｉｅｎｔ ｐａｔｔｅｒｎ ｒｅｃｏｇｎｉｔｉｏｎ ｍｅｔｈｏｄ ｉｓｕｓｅｄｔｏ ｔｅｓｔｐｒｏｔｏｃｏｌｓｃｏｎｔｅｘｔｃｏｎｓｉｓｔｅｎｃｙ．Ｔｅｓｔｉｎｇ ｆｒａｍｅｗｏｒｋ ａｎｄｐｒｏｃｅｓｓｆｏｒ ｐｒｏｔｏｃｏｌ ｓｅｃｕｒｉｔｙ ａｒｅ ｄｅｓｉｇｎｅｄ ｂａｓｅｄ ｏｎ ｔｈｅ ｂｌａｃｋ ｔｅｓｔｉｎｇ ｍｅｔｈｏｄ ｗｉｔｈ ｔｈｅ ｔｅｓｔｉｎｇ ｐａｒｔ ｂｅｉｎｇ ｄｉｖｉｄｅｄ ｉｎｔｏ ｔｈｅ ｐｒｏｔｏｃｏｌ ｓｅｒｖｅｒ ａｎｄ ｔｈｅ ｔｅｓｔｉｎｇ ｍｏｄｕｌｅ．Ｔｈｅ ＢＢＢＭ（ｂｌｏｃｋｂａｓｅｄ ＢｏｙｅｒＭｏｏｒｅ）ａｌｇｏｒｉｔｈｍ ｉｓｐｒｏｐｏｓｅｄ，ｉｎｗｈｉｃｈｔｈｅｗｏｒｄｓｂｌｏｃｋｉｓｕｓｅｄａｓｕｎｉｔａｎｄｍａｔｃｈｉｎｇｂｌｏｃｋｓｉｓｃａｒｒｉｅｄｏｕｔａｆｔｅｒｔｈｅｃａｌ ｃｕｌａｔｉｏｎ ｏｆ ｄｉｇｅｓｔｓ．Ｔｈｅ ｅｘｐｅｒｉｍｅｎｔａｌ ｒｅｓｕｌｔｓ ｓｈｏｗ ｔｈａｔ ｔｈｅ ｐｒｏｐｏｓｅｄ ｓｙｓｔｅｍ ｃａｎ ｄｉｖｉｄｅ ｔｈｅ ｖａｌｕｅ ｓｐａｃｅ ｏｆｎｅｔｗｏｒｋｐｒｏｔｏｃｏｌｂａｓｅｄｏｎｔｈｅｃｏｎｔｅｘｔｔｙｐｅ．Ｔｈｅｃｏｎｓｉｓｔｅｎｃｙｔｅｓｔｉｓｃａｒｒｉｅｄｏｕｔｂｙｔｈｅｒｅｃｏｇ ｎｉｔｉｏｎ ａｌｇｏｒｉｔｈｍ．Ｔｈｅ ｎｕｍｂｅｒ ｏ