基于Ad Hoc网络的典型路由协议的研究与NS2仿真

目前Ad Hoc网络有三种典型的路由协议,即先发性（Proactive）路由协议、反应性（Reactive）路由协议和混合性（Hybrid）路由协议。本文分析了上述协议,并给出几个典型的路由协议NS2仿真分析。     

LEACH算法的接入层协议研究

LEACH协议是一个无线传感网络的分层路由协议,本文在对LEACH协议、接入层协议分析基础上,论证了接入层X-MAC协议更能提高LEACH协议适用性。     

PPP协议仿真实验分析

PPP协议工作在物理设备的串口,不能通过协议分析软件捕获PPP数据帧并进行分析.在GNS3模拟软件中设计并配置了PPP协议仿真实验,通过在串口捕获PPP数据帧,利用协议分析的方法对PPP协议工作过程进行了分析,阐述了LCP、IPCP协议工作原理,对PAP和CHAP两种认证协议进行了比较分析.     

基于Ethereal的协议分析实验设计

目前高校计算机网络课程中在教学过程中,普遍存在学生感觉协议的学习枯燥无味、难于理解,无法对协议的工作做到眼见为实。为此,设计了基于协议分析工具Ethereal的网络协议分析实验,帮助学生有效地了解协议的工作过程、掌握协议的工作原理、提高理论课程的教学质量和效果。     

一种嵌入式TCP/IP的设计

嵌入式设备网络化开发具有广阔的应用前景,是网络化发展的一个重要方向和必然结果。针对大量存在的8位单片机,设计了与之相适合的TCP/IP协议,分析了ARP协议、ICMP协议、IP协议、UDP协议和TCP协议的实现过程。专门针对接收流程,给出了主程序的流程框图和程序设计思路。对于单片机代码空间问题,分析了单片机实现TCP/IP协议的一些注意要点。     

SMB协议分析

SMB协议是目前绝大多数的PC上都在运行的协议。通过SMB协议,客户端应用程序可以在各种网络环境下读、写服务器上的文件,以及对服务器程序提出服务请求。用协议分析工具Ethereal分析了SMB协议,对其具体实现有了深入了解。     

一种基于关联语义的密钥交换协议分析算法设计

安全协议的关联语义是刻画协议的核心性质,针对密钥交换协议关联特性,从分析主体认证关联语义、会话密钥关联语义、消息步骤间关联语义、消息内部关联语义和条件关联语义等方面来描述协议的内在语义,设计了基于关联语义密钥交换协议的分析模型及算法.对Ban-Yahalom Protocol协议进行了分析,指出该协议存在冒充第三方S生成会话密钥的安全隐患,但却未泄漏协议会话密钥.从实验结果来看,该分析方法对密钥交换协议进行关联语义验证分析是行之有效的.     

浅谈关于仲裁协议效力的几个问题

仲裁协议是仲裁的基石。仲裁协议效力是仲裁法律制度中的重要内容。本文根据我国仲裁法的规定，结合仲裁实践中关于仲裁协议效力易发生的争议，对于仲裁协议的形式、无效仲裁协议、有瑕疵的仲裁协议效力的认定、仲裁协议效力异议的提出等问题进行了探讨和分析。     

一种基于身份可认证的密钥协商协议的分析与改进

对Wang等提出的一种基于身份可认证的密钥协商协议进行协议安全性分析后发现,该协议存在安全性不足,如存在冗余信息、假冒攻击和临时秘密信息泄漏攻击。为解决这个问题,对该协议进行了改进,并对改进后协议的安全属性和运行效率进行了分析。分析结果表明,改进后的基于身份可认证的密钥协商协议满足已知所有的密钥协商协议的安全属性要求,且拥有可靠的效率。     

ARP协议概述

采用协议分析的方法，通过对地址解析协议(Address Resolution Protocol，ARP)的工作原理和数据帧格式的分析，直观地展示了ARP协议的工作过程、协议存在的漏洞以及协议漏洞可能引起的缓存篡改行为，并给出了防止ARP缓存篡改的方法。     

基于符号模型的Mynah协议安全性自动化分析

Openflow是目前使用最为广泛的SDN通信协议,由于其协议规范还在不断完善,因此存在一定的安全隐患,对Openflow协议及其相关应用的安全分析也越来越受到重视。Mynah协议是在Openflow协议的基础上实现的安全认证协议。对Mynah协议的保密性和认证性进行分析,基于符号模型,利用应用PI演算对Mynah协议进行形式化建模,并使用安全协议分析工具Proverif进行自动化分析。结果表明,Mynah协议并不具备保密性和认证性,为此,给出了Mynah协议中不具备保密性和认证性的解决办法。     

XIO及PLCBUS在智能家居网络中的应用与分析

从电力线载波类、无线射频类、总线类三种按传输介质分类的协议，分析智能家居网络技术，重点阐述分析了电力线载波类的x10协议、PLCBUS协议以及两协议在智能家居网络中的应用，认为基于电力线载波技术组成智能家居控制网络具有广阔的发展前景。     

MANET网络安全协议仿真系统设计和实现

在真实的网络环境中分析和设计MANET(Mobile Ad hoc Network)网络安全协议耗资巨大,因此开发对MANET网络安全协议进行性能分析的仿真软件具有重大意义.在分析MANET网络安全协议仿真的具体需求基础上,基于NS2设计和实现了集成可视化网络拓扑生成、安全协议配置、网络数据流的设置、攻击事件的设置、仿真脚本自动生成到攻击过程的仿真运行和协议性能的对比分析等功能于一体的仿真系统,通过对不同网络安全协议在不同攻击下仿真结果数据的延迟、控制开销、吞吐量,丢包率、包交付率和抖动等参数的对比分析,系统可实现不同ad hoc网络安全协议的性能分析,系统还可动画演示协议受攻击时的节点运动信息、数据包信息、数据流信息和攻击信息等细节的动态变化过程.     

基于动态路由协议的分析与研究

OSPF路由协议是一种典型的链路状态的动态路由协议。本文从协议的数据包头部类型、数据包格式、LSDB数据包结构几方面进行分析,指出OSPF是一种广泛应用的协议,然后提出一种基于LSU数字签名的可信路由协议。     

对赌协议的效力认定

针对对赌协议效力认定中存在的问题,采用学理分析与案例分析相结合的研究方法,分析对赌协议的内涵、性质与特征,结果表明:对赌协议并未侵害公司法人的独立财产权、并未侵害公司其他债权人利益、并未违反公平原则、并未违反法律和行政法规的强制性规定,符合形式和内容要求的对赌协议是为有效。     

基于协议分析的入侵检测技术探讨

文章基于状态转换进行协议分析和检测,以充分利用协议的状态信息检测入侵,有效地完成包括应用层协议在内的网络各层协议的分析,更加精确地定位了检测域,提高了检测的全面性、准确性和检测效率;这种方法综合异常检测和误用检测技术,可以更有效地检测协议执行时的异常和针对协议的攻击,并且可检测变体攻击、拒绝服务攻击等较难检测的攻击。     

凸多边形相似判定问题

本文通过利用已有的秘密判定相等协议、集合相等判定协议、数据对应成比例判定协议,设计出凸多边形相似判定协议,并分析了其正确性、安全性和复杂性.     

ARP协议概述

采用协议分析的方法,通过对地址解析协议(Address Resolution Protocol,ARP)的工作原理和数据帧格式的分析,直观地展示了ARP协议的工作过程、协议存在的漏洞以及协议漏洞可能引起的缓存篡改行为,并给出了防止ARP缓存篡改的方法.     

无线网络安全协议Kerberos的Petri网建模

由于无线网络与移动设备的特点,无线网络安全协议的执行环境变得更为复杂。对比了网络安全协议WAP、IEE802.1X、EAP、WPA认证协议和Kerberos协议。Kerberos协议在身份委派和身份验证方面较为高效,成为常用的无线网络安全协议。Petri网作为信息化建模仿真的常用工具,能以图形化、层次化的方式描述系统。在分析Kerberos协议工作原理的基础上,采用Petri网工具CPNTools对Kerberos协议进行建模与仿真,采用图形化方式,直观地表达了该协议特点。     

浅谈个人合伙协议的要点

针对个人合伙协议的特征、内容及与其他协议的不同之处等进行分析研究，明确了个人合伙协议在法律框架内如何具体操作实施。