密码协议的SPIN建模和验证

为了将模型检测这种强有力的系统验证技术应用于网络协议的安全分析,形式化建模仍然是目前的关键问题和难点所在.本文提出了一种基于高级过程描述语言的建模方法.根据入侵者角色和攻击目标的不同,从入侵者的角度分析协议的运行模式,为每个主体建立过程模型,用模型检测工具进行分析验证.对BAN-Yahalom协议的SPIN分析验证了这种方法的可行性.该方法具有一定的通用性,对其它网络协议的分析有很好的参考价值.     

基于TFTP协议的简单文件传输系统的研究

文章通过研究TFTP协议,实现了基于TFTP协议的简单文件传输系统。TFTP服务器端通过采取创建新socket和分配新端口等措施实现了多客户端与服务器的文件传输功能。该系统采用超时重传、socket信息保存、上一条消息暂存等方法解决了丢包、多任务执行等问题,具有一定的容错能力。     

航电通信网络中简单文件传输协议的实现研究

航电通信网络系统的性能直接影响到飞机与地面的通信状况,对于航空飞行安全与战略决策发挥着至关重要的作用。文章简要阐释了网络系统终端的工作原理,分析了航电通信系统的内部层次结构,着重围绕数据包头包体设计、工作流程、传输节点、软件实现等层面探讨了简单文件传输协议的实现路径,以供参考。     

简单网络管理协议的安全性分析

针对SNMP（简单网络管理协议）的安全威胁，总结了SNMP的安全需求和相应的安全机制，并进一步分析和比较了SNMPv1、SNMPsec、SNMPv2(包括SNMPv2p、SNMPv2c、SNMPv2u和SNMPv2*）以及SNMPv3）提供的各种不同的安全机制。     

TFTP协议在LM3S6965上的移植和应用

网络通信被嵌入式系统越来越广泛应用,鉴于此,结合了汽车道闸控制系统的设计,以先进的RISC机器（ARM,Advanced RISC Machines）Cortex-M3为内核的32位微控制器LM3S6965为基础,利用其内置以太网控制器,移植了U-Boot中基于简单文件传输协议（TFTP,Trivial File Transfer Protocol）协议的模块,实现了客户端与服务器的Internet的无缝连接。结合汽车道闸控制系统中的网络模块,文中主要介绍了TFTP协议栈的总体框架,TFTP包的类型及各类包的结构,地址解析协议（ARP,address resolution）的请求链接的工作流程,TFTP协议的工作流程,数据包发送接收流程,为小文件传输通信在嵌入式系统中的应用提供了一个可行的方案。     

基于VxWorks实时操作系统的文件传输软件的设计与实现

在一些军事、航空等对数据的传输可靠性要求比较高的领域中,简单的串口通信协议已不能满足可靠性要求,需要基于Vxworks操作系统设计并实现一个具有较高通信质量和可靠性的串口通信协议体系结构。本文结合在嵌入式实时操作系统中实现文件传输的实际应用,设计了基于Vx-Works的串口通信协议,给出了通信协议的基本原理及其在Vxworks下的设计实现,并用于某型数据链中的文件传输,具有一定的应用价值。     

简单光路建立协议的实现原型及其仿真

针对密集波分复用(DWDM，dense wavelength division multiplexing)网络的特点，提出了简单光路建立协议(SLEP：simple lightpath establishment protocol)的实现原型，给出了该协议使用的消息类型、数据结构和基本的协议处理过程，并在此基础上从消息负载、连接建立时间、工作模式和信令参数选取对网络性能的影响等方面对下一代光网络中的信令协议做了比较全面的分析和仿真。本文的结果对于下一代光网络中信令的选择和信令参数的选取具有一定的参考价值。     

基于简单网络管理协议的广播电视波分传输监控系统设计与实现

本文根据设备接口通讯的特点,基于简单网络管理协议(SNMP)研发光纤波分复用传输设备监控软件。软件以确保系统安全播出为目的,服务于中心机房光纤波分复用传输系统的智能化运行管理。光纤波分复用传输监控系统实现在任一终端对设备的实时监视、故障警告等多项功能,进一步保障广播电视节目的安全优质播出。     

简单网络管理协议的研究及应用

文章主要对简单网络管理协议进行分析,在分析网络管理及其功能需求的基础上,提出简单网络管理协议的网络构架体系,最后提出基于简单网络管理协议的设计和具体应用。     

简单对象访问协议SOAP的研究与分析

SOAP，是由万维网联盟（W3C）制定的一个新通讯协议SimpleObjectAccessProtocol的简称，前身为XML－RPC。文章详细分SOAP机制的构成原理，并探讨了与其它技术（ⅡOP与DCOM）的差异，展望了用SOAP开发网络应用程序的发展前景。     

浅析基于DLNA协议的无线同屏技术

随着信息科技的迅猛发展,越来越多的数字产品出现在我们的日常生活和工作中,多媒体技术也逐渐趋于网络化和智能化。文章主要针对DLNA协议的架构,结合UPn P协议的特点,对DLNA基本原理、协议结构以及基于DLNA协议的无线同屏技术进行阐述和深入研究。     

基于代码植入的协议测试研究

以往对协议功能,性能的研究都是采用网络仿真的方式进行的.需要将协议实现到仿真器所要求的框架中去,在实现过程中代码的改动是大量的,对于测试问题来说,直接的仿真结果并不能客观的代表具体协议实现的好坏.要想解决这个问题必须通过自动的方式对代码进行更改,即通过代码植入技术来解决.文中通过改动主流的网络仿真器NS框架,并结合代码植入技术实现了一个原型协议测试工具PTB.     

基于Bluetooth＇S SPP应用框架的文件传输技术的研究与实现

文中对蓝牙的一个通信应用框架——SPP进行了细致的分析，并基于PC上的LINUX系统给出了一个应用实例，着重介绍了SPP应用框架下链路的建立以及通信的机制，最后通过CSR公司的BC04模块进行了性能测试，实现了两个蓝牙设备之间的文件的传榆，证明了SPP层文件传榆速率远高于FTP层文件传输速率．     

基于Bluetooth''s SPP应用框架的文件传输技术的研究与实现

文中对蓝牙的一个通信应用框架--SPP进行了细致的分析,并基于PC上的LINUX系统给出了一个应用实例,着重介绍了SPP应用框架下链路的建立以及通信的机制,最后通过CSR公司的BC04模块进行了性能测试,实现了两个蓝牙设备之间的文件的传输,证明了SPP层文件传输速率远高于FTP层文件传输速率.     

物联网安全传输协议的研究与设计

通过分析物联网数据传输时面临的安全威胁,在研究现有3种安全方案不足的基础上,设计并实现了一种物联网安全传输协议.该协议通过确保通信双方的身份可信,实现了对数据的完整性保护、机密性保护、反重放保护和不可抵赖保护,因此保障了物联网的数据传输安全.详细地阐述了该协议的总体框架、连接建立和释放过程、数据交换过程、密钥交换过程,最后通过实验论证了方案的可行性.     

基于USB存储设备的显示信息配置方法及精简文件协议的实现

移动式LED显示器常由于场地、通信布线不便等原因不能方便、直接地通过PC传输显示信息,针对这类应用设计一种基于USB存储设备配置显示信息的软硬件接口方案,即先把在PC机编辑好的显示信息按一定的文件格式存储在USB存储设备,然后显示屏通过USB接口读取显示信息播放.然而要实现完整的文件协议却存在程序量过大,开发过程要编写、调试大量的代码等难点,文章通过对FAT文件系统剖析,提出几种简化或避开文件协议的数据存储与提取方法来解决这一问题.     

基于IrDA OBEX协议的移动设备数据传输

随着移动设备的日益普及，红外数据通讯已经进入了黄金发展时期。OBEX对象交换协议具有简单、紧凑、灵活的优点，特别适用于资源受限的移动设备进行快速数据交换。文章在介绍红外通信协议层结构的基础上，分析了OBEX协议的对象模型和会话模型，讨论了OBEX对象交换的传输过程，最后提出了在移动设备上OBEX对象交换的设计与实现。     

VoD广播协议分析和建模

以准视频点播技术为背景,通过对该技术的核心要素-VoD广播协议族进行归纳、分析,并从宝塔广播协议出发,设计了一个新的数学模型--宝塔模型,并由该模型出发分析了N-VoD系统的性能与特点.该模型在一个8 MHz模拟频道上传输两套数字节目,其点播最大延迟为8 s,大大缩短了用户等待时间.     

iSCSI分析及其Linux驱动实现

iSCSI,是IETF制订的用于将SCSI数据块映射成以太网数据包的一项标准,是实现IP存储的重要技术之一。本文分析了iSCSI协议及其Linux系统中驱动的实现方法。     

一种基于SIP和MSRP协议实现文件断点续传的方法

在文件传输过程中发生中断后,下次为了减少重复传输断点前的文件内容,提高传输效率,提升用户体验,需要文件传输服务具备断点续传功能。对会话初始协议(SIP)和消息会话中继协议(MSRP)进行了研究,介绍了这2种协议在即时消息子系统中的具体应用;提出一种基于SIP和MSRP协议实现断点续传的文件传输流程,并分别从协议字段扩展、信令流程和断点续传3个方面进行了详细阐述;对文件传输软件架构进行了设计。在统一通信系统中应用表明,该方法达到了无缝断点续传的效果。