安全协议形式化分析方法的融合性研究

分析了BAN逻辑和串空间理论的特点与不足.为了弥补二者的不足,提出了一种融合两种理论的形式化分析方法.通过实例分析,证明该分析方法能够将BAN逻辑和串空间的优点互补综合,使安全协议的分析更可靠、稳定、高效.     

政经

北方七省区协同打传 4月27日,北京、玉津、河北、山东、辽宁、山西、内蒙古等7个省、自治区、直辖市的工商行政管理部门．在天津联合签署了打击传销规范直销工作合作框架协议．希望以此构筑一个资源共享、信息互通、协作密切、优势互补的打击传销规范直销工作合作机制,维护社会和谐稳定。     

基于MRTG的网络流量监测研究与应用

随着互联网的迅速发展,网络应用的范围不断扩大、网络资源日益丰富,与此同时,网络中的数据流量也越来越大。为了全面衡量网络运行状况,就需要对网络状态做更细致、更精确的测量。本文通过对基于SNMP(简单网络管理协议)的网络流量统计分析工具MRTG(多路由器流量图示器)的研究,利用MRTG对运行SNMP协议的设备抓取信息,然后生成包含PNG格式的图形,并以HTML文档方式显示给用户,从而达到网络流量统计与分析的目的。     

临近空间通信网RA/DAMA协议时延性能分析

近年来,临近空间通信网络开始成为新的研究热点,但对临近空间通信网多址接入协议的研究较少,且已发表的论文仅关注固定终端。为解决移动终端对临近空间物理链路资源有效共享的问题,提出一种随机预约/按需分配多址接入协议(RA/DAMA),运用排队理论对其平均时延公式进行了推导,并利用OPNET软件进行了仿真分析。仿真结果表明,随着网络负载的增加,网络的平均时延越来越大;相同的网络负载情况下,时帧周期越长,网络的平均时延越大,且时延性能越不稳定。     

六态协议在路径攻击下的安全性研究

介绍了实际QKD系统中窃听者有可能采取的一种比较有效的窃听方式,针对六态协议的安全性进行了分析。在实际QKD系统中,窃听者可以选择合适的路径实施路径攻击来获取信息,这种路径攻击不但不会改变激光脉冲中的光子数分布,而且可以通过量子信道的损耗进行隐藏而不被觉察。数据分析显示,在实际QKD系统中,Eve获取的信息量要比理想情况下的大。     

应用无线传感器网络实现移动机器人的节点定位

介绍了一种基于无线传感器网络的移动机器人节点定位实现方案,阐述了节点定位的基本原理,给出了节点硬件电路设计和相关的软件工作流程,并通过应用试验,验证该方案具有较好的定位效果。     

多媒体传感器网络中服务感知的传输控制协议

多媒体传感器网络中同时存在端到端（end-to-end）的多媒体流和事件到汇聚点（event-to-sink）的事件流,这对多媒体传感器网络服务质量保证带来了新的挑战。针对多媒体传感器网络提出了一个基于二级反馈的QoS自适应保证方法,该方法以传输控制协议为核心,根据汇聚节点处数据包的接收率和网络拥塞状况将网络划分为10个运行状态,通过传输控制协议调整媒体流和事件流的发送率,完成网络向最优状态的迁移。一系列基于NS2的仿真试验证明了本方法的有效性。

Abstract：

There exist two kinds of streams in multimedia sensor networks：end-to-end stream and event-to-sink stream,this makes the guarantee of QoS multimedia transmission face a new set of challenges. A self-adaptive QoS guarantee scheme was proposed based on two-layer feedback for multimedia sensor networks. The kernel of this scheme is transport control protocol. The network is partitioned into 10 typical states by means of the data packet receive rate at sink node and network congestion status,thus the state transfers to the optimal one by adjusting the transmit rate of media stream and event stream. A series of simulation results are performed by NS2 to demonstrate the effectiveness of the proposed scheme.     

金融数据交换平台多协议转换网关DDOS模拟客户端的设计与实现

为了精确测算多协议转换网关的处理效率,需要开发出相应的模拟接入客户端.笔者开发的客户端采用类似于网络攻击中的DDOS方式,以一定的速率向MTG发送一定数量的符合银证、银期业务规范的"合法"业务数据包,以实战模拟的方式检验MTG对单位业务数据包的处理效率和MTG的整体表现.通过得出的仿真实验数据进一步提出新的改进技术方案,从而达到提高网关效率的目的.     

网络仿真软件NS2的安装及协议扩展

NS2是一种免费的功能强大的网络仿真器。概括了NS2仿真软件的安装及协议扩展过程。首先,详细介绍了Linux系统及Windows xp系统下的NS2安装步骤;最后,以添加Mflood协议为例,介绍了NS2中协议扩展过程。     

基于MCGS和MATLAB的薄膜厚度控制系统仿真

以MCGS组态软件和MATLAB为平台,设计和仿真了一个薄膜厚度控制系统。MCGS完成硬件接口的设置、数据的实时采集、人机对话、以动画的方式显示控制系统的运行情况,MATLAB完成PID参数的自动整定,并利用动态数据交换(DDE)技术建立两者间的通讯。仿真结果表明,本控制系统超调量小、响应速度快、自适应能力强,而且操作方便、显示直观,具有较大的应用价值。