MANET路由协议的正确性分析

移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用.在安全问题中,路由协议的正确性尤为重要.采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性.首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则--响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性.     

移动Ad Hoc网络基于椭圆曲线密码体制的安全性研究

安全性是限制移动Ad Hoc网络广泛应用的主要瓶颈；Ad Hoc网络的安全问题表现为密钥生成、密钥管理和路由安全方面．基于椭圆曲线的密码体制以其更短的密钥长度以及较低的资源需求，更适合应用于资源有限的Ad Hoc环境中、对移动Ad Hoc网络，首先给出基于椭圆曲线密码体制的GDH、3协议产生组密钥的方案；其次利用椭圆曲线密码体制实现安全路由协议SAODV(Securing Ad Hoc on—demand distance vector muting)，并通过试验进一步验证了方案的可行性．     

基于BAN逻辑的SADSR协议安全性分析

移动Ad hoc网络路由协议为加强其安全性,采用了密码技术,使其成为安全协议的一种.这使得采用形式化的方法分析其安全性成为可能.本文根据移动Ad Hoc网络路由协议的特点,采用BAN逻辑对协议的安全性进行描述,指出了协议应满足的条件.并对协议的运行过程进行了形式化,给出具体的分析方法.采用该方法对安全路由协议SADSR进行了安全验证,说明方法的有效性.     

用于密码协议安全性证明的串空间模型

形式化分析是密码协议安全性证明的一个有效途径。串空间模型是在Dolev-Yao代数模型的基础上,结合Woo-Lam模型、CSP、Schneider秩函数和Paulson归纳法等方法的优点所提出的一种新的密码协议形式化模型,它可为密码协议安全性的证明提供新的方法。文章介绍了串空间模型的研究背景,分析它的架构和特点,综述有关研究工作,并分析其进一步的研究趋势。     

协议组合逻辑系统研究

介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,义具有BAN逻辑的易读性.     

基于PCL的改进型Helsinki协议的形式化分析

针对改进型的Helsinki协议安全性问题,利用协议组合逻辑PCL对协议进行形式化分析.首先使用基于"Cords演算"的程序描述语言对协议本身进行形式化描述,然后通过协议逻辑描述协议的安全属性,最后给出性质和定理,并通过逻辑推理证明改进型Helsinki协议满足其安全要求,该协议是安全的.     

基于信任机制的安全路由协议TAODV的设计

路由安全是Ad Hoc网络具有更广泛应用的关键。提出一个以信任度机制为基础的安全路由协议TAODV。本协议使用节点的通信历史记录对其邻节点的信任度进行计算,进而通过此信任度来判断路由过程中路径信任度,并基于信任度对几种常见而棘手的攻击提出预测抵御措施。实验结果表明,在存在恶意节点的网络中,TAODV协议具有较高的包传递率和较小的端到端延迟,比已有的安全路由协议SAODV具有更高的可靠性。     

基于深度学习的VANET网络DSDV 路由协议改进

针对VANET网络DSDV路由协议依赖于更新消息的周期性传播导致其网络开销增长过大的问题,提出了一种基于深度学习的VANET网络DSDV路由协议GD-DSDV.GD-DSDV路由协议的主要思想是对车辆节点及节点间的链路质量进行评价,并利用机器学习中的梯度下降法对评价指标进行训练,最终得到优化的数据传输路由,从而达到减小网络开销的目的.文中描述了GD-DSDV路由协议的实现过程并从分组平均递交率、路由开销和平均时延等方面进行分析比较.分析结果表明GD-DSDV协议具有比DSDV协议更加优良的性质,可以有效减小路由开销,对现有VANET网络的动态变化具有更强的适应能力.     

基于移动代理的安全选择式路由协议

为高效安全地保护移动代理路由,针对移动代理的选择式路由结构,利用基本加密签字技术,设计了一种基于移动代理的安全选择式路由协议,并对该协议的安全性和计算复杂度进行了分析.结果表明,新协议不仅满足移动代理选择式路由的所有安全性质,而且与已有的基于嵌套加密技术的惟一方案相比,计算复杂度得到了显著的降低,用户和路由主机的计算复杂度均从原来的O(n2)变为O(n);同时,新协议还具有很好的扩展性.     

一种面向SON的单播路由协议

提出了一种面向自组织网络SON(self-organizing networks)的单播路由协议,支持应用服务质量QoS(quality of service)需求和路由器生物行为.基于OSPFv3/BGP4+,设计了自治域内和自治域间路由协议,包括报文格式与功能、链路状态描述结构、邻居信息表、单播路由表和协议工作流程等.基于Quagga软件路由器实现了提出的协议,并且在网络实验平台基于Iperf工具对其进行了性能评测.结果表明,该协议是有效的,具有较好的性能.     

SMS系统瞬时到达海量数据情况的ED算法

在短信息服务系统(SMSS)中,一些应用要求SMSS的损失率比较小.当瞬时到达海量数据(IAMD)时可能造成队列长度超过系统的缓存区最大限度,从而数据损失率超过要求.基于上述情况提出一种基于增加部分用户的等待时间从而降低系统中用户的平均等待时间进而缩短系统队列长度的调度算法.该算法综合考虑了SMSS的时延和丢失率的要求,通过查看SMSS的队列长度,估算用户的服务时间,按照服务时间的长短安排用户的排队队列,达到了既控制SMSS的队长,又避免SMSS内队列长度有限时用户等待时间过长的问题的目的.     

一个具有阻行机制的成批到达排队系统GIX/M/1/N

研究了一个顾客成批到达,到达间隔服从一般分布,服务时间服从指数分布,1个服务台,等待队列长度有限,且具有阻行机制的排队系统GI^X/M/1/N;获得了该排队系统在稳态情况下,顾客到达前一瞬间系统中顾客数的概率分布和任意时刻系统中顾客数的概率分布;给出了该排队系统的顾客丢失率、系统利用率、队列长度的均值/方差、平均等待时间等性能指标的计算公式。最后,讨论了该排队系统在计算机网络中的应用。     

某型号锻压机床上梁有限元分析及结构优化设计

在满足锻压机床上梁强度和刚度要求的情况下,集成ISIGHT／ANSYS／Pro／e进行结构设计优化．在结构优化中,保证体积不变,以减小最大应力和应变为目标,重点考虑上梁两边孔的位置．通过ISIGHT软件构建了一个锻压机床上梁结构尺寸优化软件集成系统,实现了上梁结构优化的整个过程．优化结果表明通过该设计方法得到的上梁孔结构布局合理且能够满足强度要求．     

基于M/M/1/n的传感器网络sink节点过载性能研究

传感器网络sink节点的过载拥塞是影响其应用性能的重要因素.在分析了传感器网络中sink节点的收包过程后,把sink节点的收包过程概括为无线网卡中断处理和数据处理两部分.根据二级串连排队网络的理论,建立了收包过程模型并对此模型进行了过载性能分析,提出了一种自适应包丢弃的过载控制方案,并在Micaz平台上进行测试,测试结果表明该方案能够较好地解决sink节点的过载拥塞问题.     

Intranet信息系统集成分析

近年来Ｉｎｔｒａｎｅｔ崛起，标志着网络时代的开始，文章论述了作者在Ｉｎｔｒａｎｅｔ的体系结构，信息管理、安全机制等方面的研究，开发和应用方面的成果。     

耙吸挖泥船泥舱段结构强度的有限元分析

随着经济的发展,沿海地区的港口建设规模不断扩大,对挖泥船的需求也朝着大型化、多功能化、高自动化发展。但随着吨位的增大,大型挖泥船已超出规范尺度比的要求,因此需要对相关结构进行有限元校核。目前规范对挖泥船的有限元分析过程还没有详细的规定,因此本文结合15000m3耙吸挖泥船,对挖泥船泥舱段结构强度进行有限元分析,并提出结论。     

OSI参考模与TCP／IP模型的异同及关联

OSI参考模型和TCP／IP模型作为计算网络发展过程中影响力较大的两大模型，它们有许多共同之处，但又有很大的区别并各有特点。本文从这两个模型层次结构、层次间关系、各自功能、数据传输原理这四方面入手对此分析两者异同，找出二者关系，从而对OSI参考模型和TCP／IP模型两个模型有更清晰的认识。     

C/DS/C网络计算模型研究

阐明了网络计算模型的演变及C/DS/C模型的提出，详细给出了基于C/DS/C的企业级信息交互系统模型，其中包括C/DS/C结构的提出，企业级信息交互系统模型的组成，以及客户间通信应该解决的问题。最后阐述了它的实现。     

不同衬底温度下Tb/Fe/Dy纳米多层膜超磁致伸缩性能研究

采用多靶磁控溅射仪在室温和衬底温度为300 ℃的条件下制备Tb/Fe/Dy纳米多层膜,研究其磁性能和超磁致伸缩性能.结果表明该纳米多层膜较TbDyFe单层膜有更明显的垂直磁各向异性和更大的矫顽力.尽管纳米多层膜样品具有垂直各向异性,但仍具有超磁致伸缩性能.特别是衬底温度为300 ℃的纳米多层膜样品,具有Laves相结构的TbDyFe纳米晶体析出,使得低磁场下磁致伸缩性能有了显著的提高.     

Ag层厚度对Ag/Fe/Ag薄膜的微结构和磁特性的影响

室温下,利用直流对靶磁控溅射设备制备了Ag(x)/Fe(35nm)/Ag(x)系列薄膜,x=1,2,3,4nm.利用扫描探针显微镜(SPM)观测了样品的表面形貌及磁畴结构,应用X射线衍射仪(XRD)分析了样品的晶体结构,通过振动样品磁强计(VSM)测量了样品的磁特性.研究表明,非磁性Ag层厚度对Ag/Fe/Ag系列薄膜的微结构和磁特性有很大的影响.SPM观测显示,随Ag层厚度增加磁畴尺寸呈现先减小后增加的趋势.VSM结果显示,矫顽力的变化与磁畴尺寸的变化趋势是一致的,x=3nm时,垂直膜面矫顽力达到最大.