一种新的公平非否认协议及其安全性分析

本文对Kailar逻辑进行了扩充,并运用扩充的Kailar逻辑指出了CMP1协议存在的安全缺陷。最后,运用扩充的Kailar逻辑证明了改进后新协议的正确性。     

分级无线传感器网络路由协议设计研究

针对多跳步无线传感器网络(WSN)设计了分级无线传感器网络路由协议框架。协议中级别的设置有效地保证了路径的长度,并且采用最大可用能量优先的决策策略,因此提高了能源的使用效率,网络的使用寿命也得以延长。通过和现有其他协议的仿真比较,该协议的有效性得到了验证。     

基于SIP协议非语音信息扩展的应用研究

利用SIP事件通告机制这一扩展,提出了一种基于SIP的VoIP非语音信息扩展的应用方案,描述了该方案的设计原理,讨论了一些方案实现的技术要点.该设计方案结合了XML技术,结构清晰,故具有较强的扩展性.在VoIP系统中,该方案实现的扩展功能使用户了解当前其他用户的通信状态,避免了一些呼叫事故的发生.     

不同网络负载的Ad Hoc网络路由协议性能分析

通过实验对一种表驱动路由协议(DSDV)以及其中两种按需式路由协议(DSR和AODV)协议的性能进行比较和分析.利用NS-2仿真软件,设计了基于不同网络负载的多组仿真模型,并根据模型进行仿真.之后从分组投递率、时延和路由负荷三个性能指标参数对仿真结果进行了比较.实验结果表明:按需式路由协议DSR和AODV要优于基于表驱动的路由协议DSDV;在两种按需式路由协议之间,随着不同网络负载的加重,AODV协议比DSR协议的性能优势越来越明显.同时分析了造成不同协议之间性能差距的原因,针对AODV协议提出了今后的改进方向.     

基于IP技术的智能监控系统研究

本文针对IP技术和控制技术相结合的发展趋势,提出了一种基于IP技术的智能监控系统构架的实现方法,讨论了该系统的构架原则和特点,设计了相应的监控装置的硬件实现方案,并进行了实验研究,对于开发一种具有较好开放性、灵活的扩展性和方便易用的网络监控技术作了有益的探索.     

一类具有“开端”结构的安全协议分析方法研究

开端协议(Open-ended Protocol)的分析是安全协议领域中一个待解决的重要问题,而IKE则是一个有代表性的具有"开端"结构的安全协议.本文基于串空间的Athena方法,针对IKEv2协议中的"开端"结构涉及的DH(Diffie-Hellman)问题,增加了群、散列函数等原语,给出并证明了一个新的消减规则;针对"开端"结构,引入了集合的数学概念,建立了新的消息类型,重新定义了串空间中的消息项、替换、入侵者模型,以及Athena相应的内在项、目标和目标绑定,给出了一个新的替代关系.应用扩展后的方法,分析了协议,发现一个新的认证性缺陷,给出了解决该缺陷的方法.     

TPM的两个主要密码授权协议的安全性分析与改进

可信计算的主要功能是由可信平台模块(TPM)完成的.对象无关授权协议(0IAP)、特定对象授权协议(OSAP)是TPM在可信计算平台中运行的基础,确保这些协议的安全运行是极为重要的.本文对这两个授权协议进行了逻辑描述并对其安全性进行了分析,针对协议的安全隐患提出了相应的改进方法.     

基于IEEE 802．16的QOS研究

在固定宽带接入系统中,如何为具有不同QOS要求的多种类型业务流提供服务质量(QOS)保证是一个很重要并且很有挑战性的课题。尽管IEEE 802.16 MAC协议支持对各种类型应用的QOS保证,但是它没有给出具体的流调度方案来实现QOS要求。要为各种应用提供不同级别的QOS并且保证较高的系统吞吐率,必须在此MAC协议中集成一个QOS架构。这篇论文针对应用于802.16 MAC协议中的QOS架构进行深入的讨论和研究。     

基于Chord的Web服务模型研究

Web服务是目前互联网的发展热点。虽然Web服务已经提供了分布式的操作,可是服务发布和发现都是以一个服务注册中心为基础的。针对Web服务的瓶颈性缺陷,提出了P2P模式下基于Chord协议的Web服务模型,介绍了在此模型中服务发布、服务发现、加入节点、删除节点的方法。     

基于嵌入式浏览器的交互式IPTV

交互式IPTV的核心服务之一是视频点播服务(Video On Demand)。IPTV的系统基于IP网络,这一特点有助于设计更好的VOD交互模型。提出了一种使用嵌入式浏览器作为VOD点播终端的新设计方法。