密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

感知实时车流信息的VANET路由仿真研究

车用自组织网络利用车辆间通讯来提高道路交通安全和效率,路由协议的性能至关重要。提出一种感知实时车流信息的路由协议,能够不依赖于基础设施,通过挖掘和汇聚车辆位置数据,实现城市道路上的车流密度估算,并给出车流自适应路径选择方法,动态产生及维护由多条道路连成的数据包传递路径。对车辆高密度和低密度场合下的仿真表明,在网络开销没有明显增长的情况下,协议可以获得较好的性能,数据包递送率达到83%以上,平均发送延迟限制在2秒以内。     

Polling Strategy for Wireless Multimedia LANs

Introduction There is an increasing demand for wireless multimedia networks to communicate using any type of media without any geographical restrictions. Therefore, wire- less networks are expected to support multimedia ser- vices with guaranteed quality …     

TSM中的RLC协议与实现

由于无线通信中传输介质的质量较差，因此RLC（Radio Link Control)协议在无线传输中起着重要的作用。首先介绍了TSM（TD-SCDMA System Mobile)的RLC协议，并主要阐述与GSM中RLC协议的区别。在此基础上，介绍一种实现RLC协议确认模式的方法，此方法提高了效率，节省了资源。     

Ad Hoc网络AODV路由选择协议的改进

在移动Ad Hoc网络环境中,链路失效和路由改变的事件经常发生.TCP应用在这样的环境中性能是低下的,因为它总是认为数据包的丢失是由于网络拥塞造成的.提出一种改进的AODV路由协议(E-AODV),此协议在选路时会选择一条稳定的路径,进而提高TCP的吞吐量.仿真结果表明E-AODV协议是有效的.     

无线传感器网络中一种基于功率控制的MAC协议

无线传感器网络中,跨层协议的设计已成为研究热点.通过提取网络层和物理层中的一些信息,可以改进MAC(介质访问控制)层协议的设计.针对已有的一些跨层协议进行综合并优化,通过提取网络层的路由信息和物理层的发射功率信息,改进了MAC层TDMA(时分多址)方式下的时隙分配算法.通过更合理的时隙分配以及对每个节点发射功率的控制,使得整个无线传感器网络的能耗降低,寿命延长.从仿真结果可以看出该MAC协议达到了应有的效果.     

基于C#的IP组播通信应用设计与实现

IP组播(Multicast)是计算机网络中兼有单播和广播优点的一种高效通信方式,广泛应用于各种多媒体,在多点通信中具有不可替代的作用.本文在分析IP组播机制和特点的基础上,具体介绍了Windows下IP组播通信的编程依据,重点设计了利用C# 中的相关类进行组播通信的实现过程.     

专利纠纷的调解制度

专利权性质的复杂性决定了专利纠纷的多样性,专利纠纷的多样性同时也决定了其解决方式的多元性。在多元的解决专利纠纷方式中,解决专利纠纷的调解方式就成为一个崭新的课题。调解方式作为纠纷解决机制的一种手段,越来越受到重视。     

面向用户的NGN安全体系的设计与实现

面向用户的NGN是一种综合、开放的网络构架,在继承的基础上实现与各种业务网络之间的融合.该网络存在安全威胁和脆弱性,因此建立了面向用户的安全体系,并对使用的SIP协议进行了安全设计.