| 一种基于域知识的协议状态机主动推断算法 |
| |
| 引用本文： | 王辰,吴礼发,洪征,郑成辉,庄洪林. 一种基于域知识的协议状态机主动推断算法[J]. 计算机科学, 2015, 42(12): 233-239 |
| |
| 作者姓名： | 王辰 吴礼发 洪征 郑成辉 庄洪林 |
| |
| 作者单位： | 解放军理工大学指挥信息系统学院 南京210007,解放军理工大学指挥信息系统学院 南京210007,解放军理工大学指挥信息系统学院 南京210007,解放军理工大学指挥信息系统学院 南京210007,解放军理工大学指挥信息系统学院 南京210007 |
| |
| 基金项目： | 本文受国家自然科学基金项目(611032253),江苏省自然科学基金项目(BK2011115)资助 |
| |
| 摘 要： | 现有基于L*算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在L+M算法的基础上提出了一种基于域知识的协议状态机主动推断算法L+N,其改进主要体现在:依据会话样本集提取各报文之间的强顺序约束关系来过滤无效的输出询问,构建会话样本集对应的扩展前缀树接受器(Extended Prefix Tree Accepter,EPTA)对输出询问进行预响应,提出了一种基于正例样本变异的等价询问近似判定算法以提升寻找反例的效率。实验结果表明,L+N算法能够大幅提高推断效率,并且具有与L+M算法相同的推断准确度。
|
| 关 键 词： | L*算法 协议状态机 主动推断 域知识 推断效率 |
| 收稿时间： | 2014-11-26 |
| 修稿时间： | 2015-02-05 |
Domain-specific Algorithm of Protocol State Machine Active Inference |
| |
| WANG Chen,WU Li-f,HONG Zheng,ZHENG Cheng-hui and ZHUANG Hong-lin. Domain-specific Algorithm of Protocol State Machine Active Inference[J]. Computer Science, 2015, 42(12): 233-239 |
| |
| Authors: | WANG Chen WU Li-f HONG Zheng ZHENG Cheng-hui ZHUANG Hong-lin |
| |
| Affiliation: | College of Command Information System,PLA Univeristy of Science and Technology,Nanjing 210007,China,College of Command Information System,PLA Univeristy of Science and Technology,Nanjing 210007,China,College of Command Information System,PLA Univeristy of Science and Technology,Nanjing 210007,China,College of Command Information System,PLA Univeristy of Science and Technology,Nanjing 210007,China and College of Command Information System,PLA Univeristy of Science and Technology,Nanjing 210007,China |
| |
| Abstract: | |
| |
| Keywords: | |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
