安全多媒体卡系统工作原理及其安全性分析

多媒体卡是目前在多媒体领域被广泛应用的外部存储介质。它既可以作为便携设备中普通的数据存储介质,又可以利用内建的安全系统存储版权受保护的多媒体信息。文中在介绍安全多媒体卡工作原理的基础上,给出基于安全多媒体卡的系统服务模型,同时对系统的安全性进行分析。     

卫星通信设备自动化测试系统的应用

介绍了卫星地面站通信设备自动化测试系统的组成、工作原理及系统测试项目。系统采用计算机、测试仪器与 GPIB协议 ,实现了卫星通信设备测试工作的自动化 ,并可代替以往人工的测试手段。该系统已在某卫星地面站测试工作中得到应用。     

SCI协议实时性的仿真研究

可扩展一致性接口 ( SCI)是 IEEE提出的一个协议标准 ,主要用于高速、低延迟的大规模集群系统。对 SCI协议的基本拓扑结构——环网进行了建模 ,在此基础上 ,对一个典型的 4节点环进行仿真 ,考察特定消息的网络延迟和网络负载的关系。仿真结果表明 ,SCI协议适用于对实时性要求较高的任务系统的互联     

基于高可信体系安全锁协议算法研究

介绍了一个应用于多级数据库的安全两阶段锁协议算法。该算法通过将锁表分为多个密级，当锁冲突时高密级事务部分回滚的方式来避免在多级安全数据库中实施两阶段锁协议时的隐通道问题，同时为了应用于高可信体系，算法通过将事务管理器从可信模块中分离出来的方法来实现高可信体系中可信模块最小化的要求。本文给出了该协议的具体算法和实现结构，最后对协议的安全性和可串性作了分析。     

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来实现,并在后期的应用中对设计的正确性进行了验证。