【摘 要】
：
现有基于L＊算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效
【基金项目】
：
国家自然科学基金项目(611032253);江苏省自然科学基金项目(BK2011115)资助
论文部分内容阅读
现有基于L＊算法的协议状态机主动推断方法忽略了协议特有的域知识,将协议报文抽象为相互独立、无意义的符号,并完全随机地生成测试样本进行状态机等价判定,导致产生大量的无效询问和测试样本,在真实网络环境下推断效率较低。在LM^＋算法的基础上提出了一种基于域知识的协议状态机主动推断算法LN^＋,其改进主要体现在：依据会话样本集提取各报文之间的强顺序约束关系来过滤无效的输出询问,构建会话样本集对应的扩展前缀树接受器（Extended Prefix Tree Accepter,EPTA）对输出询问进行预响应,提出了一
其他文献
本文介绍了ERP系统在航空出口加工业务项目中使用的特点：概述了使用的流程和优势：实施了项目的订单管理和生产计划管理；项目的物流采购管理流程的优化，降低供应链成本；ERP系统功能
随着我国国民经济的快速发展,建设施工企业承接项目正向大型化、复杂化、区域化方向发展,多项目并行运作逐渐成为其面临的新常态。很多企业开始尝试引入多项目管理方法以适应
二、美国公用事业价格管制的成功经验及不足（一）成功经验１、美国政府和社会对公用事业价格管制给予了高度重视，公用事业价格管制措施有力、到位。主要表现在：（１）美国的公用事业价格管
为保证工程中的各类结构在使用期限内能够完成规定的功能而不发生破坏，就需要对其在各种载荷作用下的应力和变形做出正确的计算。但是由于结构和边界条件的复杂性不同，大多数问
近日,西藏自治区文物局成立联合专家组,完成清朝亚东关遗址实地考察工作.实地考察中,专家组发现,清朝亚东关遗址由6座建筑废址与穿越遗址的驿道组成.整个建筑废址残存大量倒
人的情绪是以认识为前提的。认识正确 ,要求合理 ,容易实现 ,有助于保持饱满的热情、稳定的情绪和舒畅的心情 ;反之 ,认识偏激以至错误 ,或者好高鹜远 ,想入非非 ,需求过分 ,
以广西壮族自治区平果铝土矿区为研究对象,采用四层逐级分类指标划分待复垦土地评价单元类型,运用权重指数和法对矿区待复垦土地的适宜性进行预测性评价。评价结果表明,（1）无污
石油对国家的重要性不言而喻，它关系着国家经济发展和社会稳定。石油发展的同时也面临着改革。企业新闻宣传是辅助完成石油产业转型及稳定石油产业发展的有利手段。因此采油三
进入数字化管理阶段后,对于拍摄过的照片来说,因任务多,时间紧,加之设备等原因,无法按照国际通用的色彩管理标准来拍摄。本文主要介绍了馆藏文物＂数字化＂之后存在的一些问题,并
目的探讨麻黄连翘赤小豆汤对α-萘异硫氰酸酯(ANIT)诱导的胆汁淤积性肝损伤模型大鼠的防护作用。方法取大鼠50只,按体质量随机分为正常对照组(A组,等体积0. 9%氯化钠溶液),模