网络协议软件漏洞挖掘技术综述 被引量：6

1

作者 喻波 苏金树 +7 位作者 杨强 黄见欣 盛周石 刘润昊 卢建君 梁晨 陈晨 赵磊 《软件学报》 EI CSCD 北大核心 2024年第2期872-898,共27页

网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议... 网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议交互过程复杂、相同协议规范的多个协议实现存在功能差异等特点,使得其漏洞挖掘技术面临诸多挑战.首先对网络协议软件漏洞挖掘技术进行分类,对已有关键技术的内涵进行界定.其次,进一步综述网络协议软件漏洞挖掘4个方面的技术进展,包括网络协议描述方法、挖掘对象适配技术、模糊测试技术和基于程序分析的漏洞挖掘方法,通过对比分析归纳不同方法的技术优势及评价维度.最后,总结网络协议软件漏洞挖掘的技术现状和挑战,并提炼5个潜在研究方向. 展开更多

关键词 网络协议软件 漏洞挖掘 模糊测试 程序分析 符号执行

在线阅读 下载PDF 职称材料

网络协议软件开发中的接口技术 被引量：7

2

作者 潘理 赵颖 沈金龙 《南京邮电学院学报》 1998年第2期69-72,共4页

在各种操作系统平台上开发网络协议软件时所需要的技术涉及到的系统核心，一般是不公开的，而且一般的软件开发者也难以获得必要的开发工具。从工程角度出发，讨论了一些可行的方法并给出了系统结构。这些方法已在实践中得到了具体的应用。

关键词 协议软件 接口技术 系统结构 软件开发

在线阅读 下载PDF 职称材料

基于Win95的网络协议软件开发技术 被引量：1

3

作者 潘理 顾尚杰 诸鸿文 《计算机工程》 EI CAS CSCD 北大核心 2000年第2期4-5,8,共3页

网络协议软件的开发技术因为涉及到操作系统核心，所以大多没有公开的资料。以一个ＩＰ网关的实现为基础，阐述了网络协议软件在Ｗｉｎ９５中的开发方法。重点讨论了网络接口的实现、进程通信和内存管理等核心技术。

关键词 网络协议软件 软件开发 WINDOWS95 网络接口

在线阅读 下载PDF 职称材料

面向对象的用户层协议软件设计

4

作者 曾斌 邢继峰 +1 位作者 黄道颖 黄志军 《计算机工程与应用》 CSCD 北大核心 2002年第23期135-137,共3页

该文主要提出了如何采用面向对象的方法设计用户层通信协议软件。由于每一个协议都可以被一个有限状态机描述,所以此方案用一组互相联系的对象集合实现有限状态机的功能,每一个对象对应一个状态。而对于引起状态迁移的接口事件,则可以... 该文主要提出了如何采用面向对象的方法设计用户层通信协议软件。由于每一个协议都可以被一个有限状态机描述,所以此方案用一组互相联系的对象集合实现有限状态机的功能,每一个对象对应一个状态。而对于引起状态迁移的接口事件,则可以通过对象类中的成员函数来完成,成员函数体的主要功能就是实现状态迁移中发生的一系列活动。当状态迁移完成后,当前的活动对象被下一个状态对象所取代。该文通过一个示例对其进行了说明。该文还讨论了实现中的关键技术并提出了一种结构化的协议层模型。 展开更多

关键词 面向对象 用户层协议软件 设计 用户通信协议 有限状态机

在线阅读 下载PDF 职称材料

ISDN协议软件系统的设计与实现

5

作者 黄德利 黄少云 王雨 《计算机工程》 CAS CSCD 北大核心 1997年第S1期109-111,共3页

该文从软件系统的层次实体与结构、层次间的接口、软件系统与操作系统间的接口等几个方面,阐述了ISDN协议模型软件系统的设计方法,并进一步说明了如何以此为基础实现协议模型的软件开发平台。

关键词 综合服务数字网 协议软件系统 开放系统 层次模型 层次实体

在线阅读 下载PDF 职称材料

基于STREAMS机制的UNIX内核网络协议软件开发

6

作者 毕军 吴建平 《计算机应用与软件》 CSCD 1999年第3期7-11,43,共6页

STREAMS机制是UNIX提供的一种开发工具。本文在对STREAMS机制进行介绍和分析的基础上,提出了基于STREAMS机制的开发UNIX内核网络协议软件的通用抽象模型。

关键词 STREAMS机制 网络协议软件 UNIX 软件开发

在线阅读 下载PDF 职称材料

协议软件实现的面向对象的方法 被引量：3

7

作者 肖斐 朱崇湘 +1 位作者 孙永学 赵文耘 《计算机工程与设计》 CSCD 北大核心 1998年第6期19-25,共7页

提出一种用面向对象的方法来实现协议。协议由ＦＳＭ说明，然后ＦＳＭ由一组相关的对象实现。对象的成员函数是接口事件，它们激发状态变迁。与状态变迁相联系的行为构成成员函数的主体。当状态变迁产生时，一个对象成为另一个对象。文... 提出一种用面向对象的方法来实现协议。协议由ＦＳＭ说明，然后ＦＳＭ由一组相关的对象实现。对象的成员函数是接口事件，它们激发状态变迁。与状态变迁相联系的行为构成成员函数的主体。当状态变迁产生时，一个对象成为另一个对象。文中给出了一个实例，还提出一个软件工具，使设计者可以用图形方式编辑状态机，并且自动产生Ｃ＋＋的类定义。 展开更多

关键词 协议软件 面向对象 C++语言 程序设计

在线阅读 下载PDF 职称材料

数据通信设备中协议软件研发的经验与思考 被引量：1

8

作者 李青 《计算机工程与应用》 CSCD 北大核心 2002年第17期149-150,153,共3页

该文从研发一个数据通信设备的角度,提出了数据通信设备中协议软件研发所要考虑的关键环节,并给出了一些实践经验的总结。

关键词 数据通信设备 协议软件 协议栈

在线阅读 下载PDF 职称材料

关于自动化应用中通信协议软件独立性的研究 被引量：1

9

作者 戴宏斌 《计算机科学》 CSCD 北大核心 2013年第11A期68-72,共5页

自动化应用中的各种设备、系统及其各层次、部分之间使用通信协议软件进行通信,从而实现数据交互和信息共享。通信协议软件的可靠性和可扩展性对自动化工程的质量和实施存在显著影响。考查了通信协议软件涉及的数据和操作,并按功能阶段... 自动化应用中的各种设备、系统及其各层次、部分之间使用通信协议软件进行通信,从而实现数据交互和信息共享。通信协议软件的可靠性和可扩展性对自动化工程的质量和实施存在显著影响。考查了通信协议软件涉及的数据和操作,并按功能阶段进行了细致的划分。在此基础上,通过引入事务的概念,提出了一些指导性原则,这些原则有助于提高通信协议软件的独立性,使其具有良好的可靠性和可维护性,从而有益于工程质量和工程实施。 展开更多

关键词 通信协议软件 独立性 事务

在线阅读 下载PDF 职称材料

手机协议软件概述

10

作者 易建国 《中兴通讯技术》 2000年第74期2-3,共2页

介绍了手机协议软件的结构及其各个模块提供的主要功能。

关键词 协议软件 模块功能 移动通信 手机

在线阅读 下载PDF 职称材料

软交换实验平台中SIP协议分析软件的设计与实现 被引量：2

11

作者 涂继辉 佘新平 陈永军 《实验技术与管理》 CAS 北大核心 2013年第8期105-108,共4页

为了让学生更容易学习软交换和SIP协议,设计了一种SIP协议分析软件。该软件不仅能够分析出SIP数据包的格式和内容,而且能够画出整体工作流程图。从测试结果可以看出:该软件在功能上优于目前其他SIP协议分析软件,为学生学习软交换和SIP... 为了让学生更容易学习软交换和SIP协议,设计了一种SIP协议分析软件。该软件不仅能够分析出SIP数据包的格式和内容,而且能够画出整体工作流程图。从测试结果可以看出:该软件在功能上优于目前其他SIP协议分析软件,为学生学习软交换和SIP协议起到了重要的作用。 展开更多

关键词 SIP协议分析软件 软交换 RTP

在线阅读 下载PDF 职称材料

Windows下TCP/IP协议分析软件的设计开发 被引量：6

12

作者 李成大 《计算机应用研究》 CSCD 北大核心 2002年第2期133-135,共3页

为适应计算机网络教学的需要 ,帮助学生更加直观地理解网络协议的实现原理 ,笔者用VC并利用VxD技术开发设计了TCP/IP协议分析软件。该软件在Windows环境下对网络中的数据流进行监听、截获、存储 ,对TCP/IP协议族中各种数据包的包头信息... 为适应计算机网络教学的需要 ,帮助学生更加直观地理解网络协议的实现原理 ,笔者用VC并利用VxD技术开发设计了TCP/IP协议分析软件。该软件在Windows环境下对网络中的数据流进行监听、截获、存储 ,对TCP/IP协议族中各种数据包的包头信息、数据以及校验和进行分析 ,还原得到协议的各项内容。 展开更多

关键词 WINDOWS TCP/IP协议 网络协议分析软件 设计 开发

在线阅读 下载PDF 职称材料

Tetra移动台空中接口协议栈软件开发 被引量：3

13

作者 李延波 冯志勇 《电子测量技术》 2007年第5期126-128,132,共4页

随着Tetra数字集群通信技术的不断发展,其移动台空中接口协议栈标准也在不断演化,并日趋复杂,使得传统的软件开发手段越来越不适应Tetra的空中接口协议栈软件的开发。采用何种开发手段,才能保证协议标准与软件实现之间的一致性,就成为... 随着Tetra数字集群通信技术的不断发展,其移动台空中接口协议栈标准也在不断演化,并日趋复杂,使得传统的软件开发手段越来越不适应Tetra的空中接口协议栈软件的开发。采用何种开发手段,才能保证协议标准与软件实现之间的一致性,就成为软件开发领域的一个热点领域。本文从协议工程的角度,探讨了Tetra移动台空中接口协议栈软件的开发过程,通过实际的协议开发和一致性测试,证明基于协议工程的协议开发方法可以有效地提高开发效率,并严格保证标准与实现之间的一致性。 展开更多

关键词 协议工程 协议栈软件 SDL TETRA

在线阅读 下载PDF 职称材料

针对可移动设备的TCG软件协议栈的扩充 被引量：2

14

作者 马洁 林中 《计算机工程与设计》 CSCD 北大核心 2006年第19期3586-3588,共3页

TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)... TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)和PDSI(可移动设备服务接口层)两个模块。实现了在扩充了的TSS基础上可移动设备的安全应用,使得可移动设备纳入了整个可信体系。 展开更多

关键词 可信平台模型 可信计算组织软件协议栈 可移动设备服务接口层 可移动设备驱动库函数层 密封存储

在线阅读 下载PDF 职称材料

基于Python的协议栈软件内部数据查询方法 被引量：2

15

作者 蒋玉玲 肖亚楠 方涛 《光通信研究》 北大核心 2018年第2期29-31,共3页

分布式数通设备已广泛应用于各运营商的组网环境之中,目前在设备搭载的协议栈软件运行过程中,其承载的某一条业务链路出现故障时,无法快速有效且在不影响其他业务的情况下定位问题原因。文章针对这一现状进行了分析及研究,提出了快速查... 分布式数通设备已广泛应用于各运营商的组网环境之中,目前在设备搭载的协议栈软件运行过程中,其承载的某一条业务链路出现故障时,无法快速有效且在不影响其他业务的情况下定位问题原因。文章针对这一现状进行了分析及研究,提出了快速查询数通设备协议栈软件内部模块数据的方法,基于Linux系统设计开发,同时兼容Windows系统,实现过程涉及C语言及Python脚本编写。该方法可直接使用命令在屏幕上输出所查数据结构中的所有数据,规避了传统查询协议栈软件内部数据使用断点或单步调试方式引起的协议断临、业务中断等问题,该方法的工作效率、工作精度和工作质量均较高,非常适于推广应用。 展开更多

关键词 分布式数通设备 协议栈软件 数据结构

在线阅读 下载PDF 职称材料

过程驱动法实现协议栈软件有限状态机的分析 被引量：4

16

作者 卢晓南 刘泽 《计算机工程与应用》 CSCD 北大核心 2001年第24期81-82,114,共3页

文章主要分析实现有限状态机(FSM)的方法:“过程驱动法”。有限状态机的抽象构建及实现是网络通信协议栈软件设计的基本方法。以GPRS协议移动台侧的子网相关汇聚协议层(SNDCP)为例,分析了用过程驱动法实现的程序复杂度、运行效率。文章... 文章主要分析实现有限状态机(FSM)的方法:“过程驱动法”。有限状态机的抽象构建及实现是网络通信协议栈软件设计的基本方法。以GPRS协议移动台侧的子网相关汇聚协议层(SNDCP)为例,分析了用过程驱动法实现的程序复杂度、运行效率。文章最后提出用过程驱动法实现的主要数据结构。 展开更多

关键词 网络通信协议 协议栈软件 有限状态机 过程驱动法

在线阅读 下载PDF 职称材料

OSPFv3路由协议在FreeBSD下的实现研究

17

作者 孙庆南 鲁士文 《计算机科学》 CSCD 北大核心 2005年第11期16-19,共4页

随着IPv6协议在Internet中的广泛应用,人们更多地将注意力集中在路由器对IPv6协议的支持上。设计和开发基于IPv6的路由协议软件也更加重要。本文分析了OSPFv2路由协议与OSPFv3路由协议之间的不同,并且基于RFC2740设计开发了一个OSPFV3... 随着IPv6协议在Internet中的广泛应用,人们更多地将注意力集中在路由器对IPv6协议的支持上。设计和开发基于IPv6的路由协议软件也更加重要。本文分析了OSPFv2路由协议与OSPFv3路由协议之间的不同,并且基于RFC2740设计开发了一个OSPFV3路由协议软件,该软件在实验网络环境中的运行取得了良好的效果。 展开更多

关键词 IPV6 OSPFv2 OSPFV3 FREEBSD 路由协议软件 路由协议 IPV6协议 INTERNET 协议软件 设计开发

在线阅读 下载PDF 职称材料

基于SDL语言的移动Ad-hoc网路由协议的设计和验证 被引量：1

18

作者 潘红艳 于全 《计算机科学》 CSCD 北大核心 2004年第3期31-33,共3页

论文简要阐述了SDL的基本概念及使用它开发通信协议软件的优点,并给出在移动Ad-hoc网路由协议开发中采用SDL语言对路由协议软件进行设计和验证的实例,为通信协议的设计和验证提供了一种有效的方法。

关键词 移动Ad-hoc网路 路由协议 设计 验证 通信协议软件 SDL语言 计算机网络

在线阅读 下载PDF 职称材料

消息和指令分析相结合的网络协议异常行为分析 被引量：1

19

作者 胡燕京 裴庆祺 庞辽军 《通信学报》 EI CSCD 北大核心 2015年第11期147-155,共9页

关注协议的异常行为,将协议传递的原始消息和实现协议的程序二进制代码均作为分析对象,采用动态污点分析和静态分析相结合的方法,先在自行设计的虚拟分析平台Abnormal Disc原型系统上监控和分析协议程序解析消息的过程,记录协议的公开行... 关注协议的异常行为,将协议传递的原始消息和实现协议的程序二进制代码均作为分析对象,采用动态污点分析和静态分析相结合的方法,先在自行设计的虚拟分析平台Abnormal Disc原型系统上监控和分析协议程序解析消息的过程,记录协议的公开行为,再利用提出的异常行为感知和挖掘算法,静态分析协议的异常行为触发条件和异常行为指令序列,最后根据异常行为触发条件生成带有敏感信息的协议新消息,动态触发异常行为的执行。Abnormal Disc原型系统可以感知并触发协议的异常行为,根据统计分析的结果,提出了协议运行安全性的评估方法。实验结果表明,利用所提供的方法可以比较准确地挖掘协议的异常行为,并能够对协议运行的安全性进行评估。 展开更多

关键词 协议逆向分析 协议异常行为 协议消息 协议软件

在线阅读 下载PDF 职称材料

基于TTCN的IPv6协议测试 被引量：4

20

作者 周斌 张英堂 +3 位作者 屈玉贵 方毅 刘桂英 徐骏 《小型微型计算机系统》 CSCD 北大核心 2004年第7期1256-1259,共4页

基于标准的协议测试描述语言 TTCN,设计了一种针对于 IPv6协议簇的软件接口 ,搭建了具体的网络测试环境 ,能够在该测试环境中进行 IPv6协议的一致性测试 .最后 ,作为例子 ,对 WIN2 0 0 0的 ICMPv6协议实现进行了测试 .

关键词 IPV6 一致性测试 TTCN ITEX 协议测试软件接口

在线阅读 下载PDF 职称材料