协议自适应的数据帧数据提取技术

计算机与具有不同应用层协议的设备进行通讯时,需要编写各自专用通讯接口程序,这往往造成整个应用系统的复杂和冗余。提出了一个基于确定有限自动机的更为切实有效的通讯方法,并给出了相应的解决方案。     

不可靠环境下多轮FR协议分析

随着网络的大规模应用,越来越多的协议在并发的、不可靠的环境中执行。文章用有限自动机对FR协议建模,并用自动验证工具UPPAAL验证了多轮协议在可靠环境下的性质。重点验证了不可靠环境中多轮协议的执行情况,最后对协议进行了修改。     

局部网络运输协议的形式描述与验证

本文研讨局部网络的运输协议及其形式描述技术.文中论述了局部网络建立运输层的必要性和可能性.讨论了局部网络体系结构中的运输层、运输服务和运输协议的设计,给出了该运输协议的一种基于有限状态自动机(FSA)的形式描述,并通过可达树对该协议的正确性进行了验证.     

有界模型检测和串空间模型相结合的安全协议验证

提出用BMC和串空间结合的方法对安全协议进行验证.首先是通过串空间的出测试理论先构造不安全协议的部分丛结构,通过该丛结构来约束协议运行的的规模和角色行为;然后用BMC对该丛结构进行建模,建立起对应的有限状态自动机和LTL验证规范,进行验证,有效减轻状态空间爆炸问题;利用不安全协议丛结构的特点,对BMC的下界进行优化.这种方式结合了模型检测和定理证明的优点,通过典型的安全协议的分析和实验,验证了本方法较传统的模型检测方法在验证安全协议时,验证效率提高明显.     

利用CCS的协议描述与验证技术的研究

本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。     

时间自动机与网络协议验证

随着网络协议复杂性的增大，其自身的潜在错误变得更加重要。使用形式化的方法来描述和验证网络协议可以发现其中的潜在错误。时间自动机是形式化方法的一种，可以很好地应用于网络协议验证中。目前基于时间自动机已经开发出了多种自动验证工具。文章介绍了网络协议验证的几种方法，并以KRONOS验证FDDI协议为例说明了用时间自动机验证协议的方法。     

基于有限自动机的密码协议入侵检测方法*

提出了一种在密码协议运行中,基于有限自动机原理检测其上攻击的方法,详细介绍了该方法的工作原理,并通过实例验证了此方法的可行性,最后给出了该检测方法原型系统的测试结果.     

一种基于自动机分解的网络协议并行处理策略

为了解决线程级并行体系结构带来的线程间对于共享资源的竞争问题,利用模拟对协议处理自动机中不同状态阶段的性能特点和在SMT结构上各状态阶段对于Cache竞争的情况进行了对比,指出CPU中Load／Store部件有可能构成协议处理的性能瓶颈之一,且对于有状态协议的处理在建立连接阶段具有较强的Cache竞争能力．进而提出一种新的协议并行处理策略,根据各状态阶段的性能特点利用有限自动机分解的方法将协议自动机划分成若干子自动机后并行处理．模拟结果表明该策略能够缓解协议并行处理时线程间对于Cache的竞争,在真实SMT环境中与基于连接的并行策略相比处理性能提高了5％左右．     

基于模型检测的OpenFlow多交换机数据包转发协议的分析与验证

OpenFlow协议是SDN网络中控制平面与数据转发平面之间进行交互的规范与标准,其正确性将直接影响到整个网络功能的实现。通过模型检测技术实现一种验证OpenFlow协议正确性的形式化方法。首先提取OpenFlow协议的核心子协议,即OpenFlow多交换机数据包转发协议作为验证的实例;然后运用协议行为自动机对该子协议进行形式化建模,并且通过时态逻辑描述协议需要进行验证的性质;最后给出算法验证协议模型是否满足给定的性质要求,以此检测OpenFlow协议是否存在正确性漏洞,以便对其进行修正。     

基于模型检测的多轮FR协议验证

随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素.本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质.重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件.     

适应性的混合卫星通信网络MAC协议

结合固定时隙分配协议、按需请求分配协议、随机接入分配协议的优点,提出一种适应性的混合卫星通信网络MAC协议CFDR-MAC。分配机制的边界点可以动态调节,从而实现MAC协议的适应性控制。仿真结果表明,CFDR-MAC具有较好的吞吐率和时延性能,能满足卫星通信网络的多种应用流量场景要求。     

基于FINS协议的Controller Link网监控系统设计

Controller Link（CLK）网是OMRON开发的一种应用广泛的工厂自动化（FA）网络,其节点为可编程序控制器（PLC）和计算机,FINS是OMRON FA网络的通信协议。CLK网可以实现节点间的数据链接及信息通信功能。在工程应用中,要求在计算机节点上监控网络中的各个PLC节点。该文利用Visual C++6.0设计了基于FINS协议的CLK网监控系统,并成功地用于城市污水处理系统的实时监控。     

网络通信协议的分析与实现

网络通信协议是网络通信的基础。TCP/IP协议族是应用最为广泛的一种网络通信协议,无论在局域网、广域网还是Internet,无论是Unix系统、Windows平台都支持TCP/IP协议,是计算机世界的一个通用"语言"。讨论了TCP/IP协议族中传输控制协议TCP、用户数据报协议UDP和网际控制报文协议ICMP等原理和应用。     

基于状态协议分析的网络入侵检测技术

协议分析是网络入侵检测技术中的一种关键技术,但不能解决对于包含在多个数据包中的攻击。针对这一问题,提出了基于状态协议分析的检测技术,构建一个有限自动机(Finite Automaton,简称FA)来约束网络,并用由正则表达式产生的语言来描述一系列的正常的状态转化,充分利用协议的状态信息检测入侵。     

可能的WSN协议分层模型

集成了微机电系统、无线通信和现代网络等多项技术而形成的无线传感器网络是一种全新的信息获取和处理模式,其通信协议研究面临许多新的挑战。描述了WSN的性能特征;提出了可能的WSN通信协议分层模型;并在新的通信协议模型下,对协议中的各个层次功能进行了深入地分析。为进一步研究WSN通信协议提供了必要的理论基础。     

一种基于IPSec的宽带无线IP网络匿名方案与实现

宽带无线IP(BroadbandWirelessIP,BWIP)是结合无线通信和Internet的新技术,其安全性研究已成为全球关注的焦点,目前提出的许多安全解决方案对用户匿名性考虑较少。文中结合IPSec的ESP和AH协议,利用MobileIP中FA与HA的代理功能,提出一种基于IPSec的BWIP网络匿名方案,该方案可以提供双向、实时的宽带无线Internet匿名通信,可以有效地阻止宽带无线Internet中流量分析攻击。文中先给出匿名方案的实现原理和匿名通道建立协议,然后给出实现本匿名方案的数据封装格式。分析表明,该匿名方案在支持IPSec的IP路由器和IP网关上容易实现,可以作为BWIP网络匿名基础设施。     

SIP和RTSP协议转换模块的设计与实现

随着流媒体技术与IP通信技术的快速发展,SIP协议与RTSP协议的互联互通问题日益凸显.论文从信令对应、地址映射、交互流程设计等几个方面对SIP与RTSP协议互通进行了论述,并在RTSP代理服务器的基础上,设计并完成了SIP与RTSP协议转换模块,实现了SIP信令与RTSP信令的转换功能.最后,论文以SIP Client 访问RTSP摄像头获取实时画面为例,验证了该方法的可行性与正确性,为基于SIP的多媒体调度系统与RTSP设备的集成问题提供了较好的解决方案.     

基于本体的语义Web服务通信协议的研究

在简单介绍语义W eb服务、本体的同时,将本体与通信协议结合,提出建立通信协议本体的概念,并给出协议本体的简单模型。将语义W eb服务中的核心SOAP协议引入到协议本体中,在服务机制中将语义引入消息传输机制,提高服务的灵活性以及适应性。还可减少事务处理中产生的不确定性。     

一种用于多方通信的新的SMC安全协议*

对主流安全协议在多方通信环境下的应用进行分析,总结其各自优缺点。在综合各个协议优点的基础上,提出并介绍了一个用于多方通信环境下的SMC(securing multiparty communications)协议,该协议工作在传输层之上,具有更强的可部署性。SMC协议被设计用来取代当前用于多方通信环境的MSEC协议族。通过将SMC协议与MSEC协议族进行比较,证明SMC协议具有与MSEC协议族一致的安全性,并且具有更强的可部署性。     

CAN总线在混合动力汽车上的应用

本阐述了CAN总线通信协议的特点并对J1939协议的应用做了相关分析;针对缺乏混合动力汽车总线协议的情况,参照J1939协议制定出适用于混合动力汽车HEV的应用层协议,并在此基础上用CANoe系统进行CAN总线的仿真实验,通过实验验证了本协议的可行性。