协议入侵者攻击能力的统一建模

基于协议预言机模型是一个开放的模型,能为准确地描述入侵者的攻击能力提供统一的框架。该文提出了一种协议预言机模型,使用协议预言机来形式化地描述入侵者对协议的攻击能力,通过协议生成树,该模型可以跟踪入侵者攻击协议的轨迹。     

新的可证明安全的快速认证协议

利用Canetti-Krawczyk模型构造了一个快速认证协议,并对该协议的安全性进行了详细的分析和证明。分析表明,该协议实现了Canetti-Krawczyk模型下可证明安全的快速身份认证、密钥协商和密钥更新,且具有双向实体认证、完美的向前保密性等安全属性,满足了认证的安全需求。该认证协议仅需进行2轮交互即可完成,通信开销小,计算量较低,为用户间的相互认证提供了一种高效的解决方案。     

一种简单的安全计算协议模型

利用离散对数困难性假设和RSA公钥加密算法,给出了一种简单的安全计算协议模型,把验证算法引入该模型中,对其安全性和效率进行了讨论.理论分析表明,该安全计算协议模型是安全有效的.     

BACnet的体系结构

DACnet协议于1995年由美国采暖、制冷和空调工程师协会制定并成为美国国家标准。此协议规范了楼宇自动控制系统实现互操作的方法，已成为楼宇设备通信的标准。本文概述了BACnet协议产生的原因和协议模型，介绍了BACnet网络的体系结构及应用层、网络层、数据链路层、物理层的功能，分析了BACnet与OSI模型的区别与联系。     

WTLS协议性能仿真

无线网络必然要与Internet结合,实现移动用户手机上网,对无线应用协议栈WAP中各协议的性能进行仿真就显得非常必要,该文基于对WAP协议栈中的WTLS协议的仿真,评估了WTLS协议;并利用OPNET软件对该协议建立网络拓扑、建立节点模型等,给出了WTLS协议在用户节点数、用户节点通话时间以及信道速率变化等方面的性能仿真结果,重点指标包括对需实时响应的信号有重要影响的分组延迟、响应延迟变化量及响应时间。     

无线传感器网络路由协议分类研究

简要地介绍了无线传感器网络不同于传统网络的特点,将现有传感器网络路由协议分为平面路由协议和分层聚类协议两类,并对其中典型的路由协议进行了分析。最后结合该领域当前研究现状,指出了路由协议未来的研究重点。     

BAN网络节点低功耗MAC协议的设计

本文针对IEEE802.15.6标准中的MAC层协议采用固定保护时间弥补时钟漂移而造成能量浪费这一问题研究并实现一种低功耗的适宜BAN网络的MAC协议。该协议依据超帧结构的模式构建了一种新的MAC帧结构模型,并结合时间补偿算法对帧结构中的保护时间进行自适应调整,最后使用OPNET14.5仿真两种MAC协议。结果表明,本文研究的基于自适应时间补偿帧结构的MAC协议相对于固定的保护时间IEEE802.15.6的MAC协议而言,降低了终端节点能耗以及延长了网络的生存周期。     

论国际民事诉讼中的协议管辖制度

协议管辖制度目前已发展成为国际民事诉讼中一项基本管辖权制度,并在晚近呈现出以下新的发展趋势:管辖协议形式要件的放宽;协议管辖适用范围的拓展;协议法院与案件联系因素的淡化。为保证协议管辖制度的合理运用,各国均对该制度作出了必要的限制。为顺应国际潮流,我国相对落后的协议管辖制度亟待进一步充实和完善。     

密码技术在网络安全中的应用

本文介绍了几种主要的密码算法和TCP/IP协议的体系结构,详细分析密码技术在计算机网络各层的几个主要安全协议中的使用。     

无线认证客户端OPNET建模的新方法

在对IEEE802．1X的工作性能进行仿真研究时，迫切需要能够实现该认证功能的无线节点模型。仅由研究人员设计状态机并进行实现的模型，一般不能客观反映协议的性能。本文提出了一种基于IEEE802．1X协议中提供的有限状态机进行OPNET建模的方法，并给出了实现以及仿真结果。该方法为IEEE802．1X协议的进一步仿真研究打下了基础。