摘要：在基于构造类别代数的协议描述上引入变异分析方法,由此提出了一种基于错误模型的协议安全测试方法.通过设计针对构造类别代数的变异算子,限制了协议中的错误集合;应用变异算子生成变异体集合,并消除其中的等价变异体;基于变异体构造安全测试例.同比研究表明,采用基于错误模型的变异分析方法,可以有效解决协议安全测试中忽视协议数据流处理过程、错误集合无限和缺少结果判断机制等问题,限定协议可能存在的错误集合,有利于测试的量化和评估,能够更有针对性地进行测试例构造和测试结果判断,提高测试能力.

摘要：针对协议安全测试中数据流的描述问题,在构造类别代数的基础上引入变异分析,由此提出了一种协议安全测试方法.基于协议的描述设计了变异算子,然后对一致性公式集进行变异分析,从而得到安全变异项集.将变异项转换为实际的安全测试例集,并描述由此进行的协议安全测试步骤.测试实践表明,所提方法能与一致性测试良好地结合,在一定程度上覆盖已知安全漏洞,并具有发现潜在问题的能力.

摘要：SOAP协议提供一种新的RPC手段,有助于实现事件通知,在一定范围内能改善CORBA/DCOM技术的不足。文章分析了CORBA/DCOM的局限性,在该基础上提出了一个新的事件通知模型,并结合实例深入分析了如何运用SIP和SOAP构造事件通知系统。

摘要：结合某火力发电厂原锅炉补给水处理系统水处理工艺和设施,对系统进行扩容改造设计。系统介绍扩容改造工艺流程及主要新增设备的设计参数,并对系统进行部分优化。结果表明,扩容改造后的整套系统运行稳定,出水水质满足国家标准《火力发电机组及蒸汽动力设备水汽质量》(GB/T 12145-2016)的有关要求,以期为类似电厂锅炉补给水处理系统扩容改造提供参考。

摘要：针对传感器网络中对事件/异常检测的研究在一定程度上忽略了区分数据样本的重要性问题,依据传感器数据的不确定性分析了事件样本和错误样本的相似点和不同点,设计了系统化区分框架,通过节点级时域处理、邻居级空间处理、聚簇级权重排序和网络级决策融合的方法逐层过滤,将原始样本集划分为正常样本集、错误样本集和事件样本集.真实数据集的实验结果显示,所提框架在不同网络质量下对样本的辨识率均在97%以上,可将误报率降低到传统事件/异常检测方法的1/10,且漏报率不超过传统方法.

摘要：该文提出了一种用TCL语言作为审查脚本语言构造原理图审查系统的系统框架。在该系统中,利用TCL语言的扩展性,制定了一套应用于原理图通用数据结构的TCL扩展命令,并在此基础上构建原理图规则库和自动审查执行器,实现了原理图的自动审查。

摘要：从协议的分布性和简约性出发,设计了适用于当前大多数无线传感器网络节点平台的嵌入式协议栈,使节点快速地自组织构建网络并且实现数据通信.协议栈采用了多种路由和组网方式,直接为应用提供网络通信接口.仿真结果表明,本协议栈能实现成百传感器节点的快速组网和多跳通信,具有很大的实用价值.

摘要：根据计算机网络技术在汽车应用方面的发展趋势,以汽车数字仪表为对象,引入CAN总线网络技术作为仪表系统的数据传输框架进行设计研究。通过建立CAN总线智能节点,设置仪表系统的显示终端,设计驱动电路与软件并以实时操作系统平台进行多任务安排,最终设计建立了独具特色的数字仪表显示系统,实现了应有的功能。

摘要：针对802.1X协议存在一定漏洞且易受重放、拒绝服务等攻击,结合802.1X协议的认证过程,抽象出802.1X协议认证的状态转移过程,同时针对802.1X协议的功能性攻击,构造出一套攻击状态转移机制:分析802.11报文和基于局域网的扩展认证协议(EAPOL)/扩展认证协议(EAP)报文的结构;剔除出重传的报文,逐个字段解析出关键字并存入链表中;将根据EAPOL/EAP报文格式取得检测所需的EAP报文存入缓存.据此,设计出基于状态机的802.1X的攻击检测方法.实验结果表明,在实际组网环境下的重放/DoS等802.1X功能性攻击能够得到准确的检测,并具有有效、统一的检测结果.

摘要：在对基于文本编码的网络协议解析中,传统的解决方案难以兼顾速度和灵活性两方面的要求.本文针对扩展巴克斯范式(ABNF)的文法特点,提出一种新型可编程处理器的指令系统和体系结构,以满足网络处理对速度和灵活性的共同要求.该方案在可编程逻辑器件(FPGA)上进行了验证,实验结果表明该处理器在实现面积、处理速度和灵活性上都占有较大优势.