ECK2007模型与其他密钥协商协议模型安全强弱关系的形式化证明

比较了安全性模型Extended Canetti＆Krawczyk 2007（ECK 2007）与其他4个安全模型（Bellare＆Rogaway 1993（BR93）,Bellare＆Rogaway 1995（BR95）,Bellare,Pointcheval＆Rogaway 2000（BPR 2000）和Canetti＆Krawczyk 2001（CK2001））的不同点,并形式化地分析了这些模型之间的强弱关系,对模型间存在的蕴含关系提供了形式化证明,对非蕴含关系提供了反例。     

IPX实时通信软件的设计与实现

分析了基于IPX(Internetwork Packet eXchange)协议的实时通信编程原理,讨论了针对某网络所开发的实时通信软件IPXSR的设计思想、特点、实现技术和调用方法.目前该软件已经通过了验收和鉴定,在实际系统中得到应用,效果良好.并能够方便地移植到其他的物理网络系统中,具有较大的实用价值.      

ACARS报文通信服务器的设计与实现

着重介绍ACARS(飞机通信寻址与报告系统)报文通信服务器的软件设计方案及实现方法.ACARS报文通信服务器通信模式采用了客户/服务器(Client/Server)模式.为了提高系统的实时性和响应速度,ACARS报文通信服务器设计成多线程并发服务器.ACARS报文通信服务器实现了实时接收、发送和分发ACARS报文.该系统已经成功地应用于中国民航VHF(甚高频)数据通信网网络监控中心.      

解决有效性与公平性的一种TCP拥塞控制算法

提出了显式通告分队列服务算法,用以解决低业务量用户相对高业务量用户对带宽占有的不公平性和传输效率比较低的问题。该算法中,源端和路由器在接收到包含业务类型(高/低业务量)、传输开始或者传输结束等控制信息时,把高/低业务量用户的数据分配到具有相应服务速率的队列中,或者将传输结束但仍占有相应服务速率的空闲队列合并到非空闲队列,增加非空闲队列的服务速率,这样在保护低业务量用户对带宽共享的公平性的同时,提高了带宽的利用率,即传输效率,从而提高了网络的性能。     

基于QL6500的BIU协议芯片的实现

简要介绍了GJB5034规定的线性令牌传递高速光纤总线协议的运行机理,提出了其总线接口单元协议芯片的解决方案,即应采用自上而下的设计方法和EDA设计工具,以及采用FPGA芯片QL6500来实现,并在后期的应用中对设计的正确性进行了验证。     

关于安全协议的形式化分析方法的研究

对安全协议的形式化分析方法从历史发展和思想体系上作出分类和分析。以历史发展为线索将安全协议形式化分析方法分为四个阶段,基于观察分析的早期阶段、以BAN(Burrows,Abadi,Needham)逻辑为代表的初期阶段、基于模型检测的转折阶段和以串空间理论为代表的证明阶段。对安全协议四个阶段形式化分析方法的特点和优、缺点作了总结。分析结果为密码协议的研究人员提供一个借鉴。     

深空通信文件传输协议的交织技术研究

引入喷泉编码技术应用于深空通信,对CCSDS文件传输协议进行改进,提出了一种针对深空环境长时延、高误码率、丢包率大和链路易中断等特点的基于数据包交织的文件传输协议。根据深空通信文件传输的业务需要设计了两种不同的级别概率分布,接收端只需要接收到一定数量的数据包,就能够恢复出整个原始信息,无需或需要很少反馈确认信息。仿真验证交织技术能够简化传输协议,减少文件传输时延,增大系统的吞吐量并保证通信的有效性。
     

一种改进的适用于空间网络的密钥交互协议

因特网密钥交互协议第二版（IKEv2）正在成为新一代互联网密钥交互标准。与因特网密钥交互协议第一版（IKEv1）相比,IKEv2协议具有更可靠、更安全等优势。空间信息网络对密钥交互协议具有严格效率要求和安全性要求,文章在对空间信息网络安全需求分析的基础上,结合空间信息网络的特点,设计了一种适用于空间信息网络的密钥交互协...     

虚拟桌面技术研究与应用

IT技术的发展使得计算机的硬件系统环境与用户的实际使用环境相互分离,为了实现用户可以对计算机系统进行远程维护和管理,同时在节约计算机系统管理成本、降低设备功耗和提高可管理性方面,虚拟桌面技术能够很好满足这些需求。主要分析虚拟桌面技术的关键技术以及解决方案,并对虚拟桌面技术进行展望。