一种双方不可否认的密码协议及应用

在数据通信中,数字签名技术保证了数据发送不可否认性和数据完整性,而接收数据的不可否认性在安全通信中也是极为重要的.近年来,实现这类型的密码协议主要是通过可信第三方参与数据的加密与传送,因而可信第三方的可靠性和安全性是系统性能的瓶颈.文中提出了一个双方不可否认的密码协议,这个协议解决了可信第三方的性能瓶颈问题,是一个更有效率的密码协议,最后探讨了它在电子邮件中的应用.      

IPSec设计及实现

IP安全协议IPSec是一种可无缝为IP引入安全机制的协议套件,是目前唯一一种适用于所有Internet通信的安全技术,它除适用于目前的IP版本(IPv4)之外,也适用于下一代IP(IPv6).分析了IP安全协议的体系结构,对IP安全协议的实现方式、各个组成部分进行了讨论,给出了IP安全协议的实现机制及其应用方式,最后简单地探讨了IP安全协议的局限性和未来发展的方向.      

基于SSL的数据安全传输系统的设计与实现

安全套接层协议SSL(Secure Socket Layer)是用来保障数据安全传输的协议,目前已经成为工业标准.首先简要介绍了SSL协议,设计并实现了基于SSL的数据安全传输系统,它由两部分组成:SSL客户方安全通信代理CSP(Client Secure Proxy)和服务器方安全通信网关SSG(Server Secure Gateway),二者可以在Internet上建立一个安全通道,从而能够保障敏感数据的安全传输.讨论了系统的整体结构,并详细分析了实现中的若干关键技术,主要包括握手协议的实现、密钥的协商、记录层数据的分段与填充、会话重用等.      

IEEE 1394协议虚拟复合MAC工业现场总线研究

为解决一个总线回路中不同类型设备通信的性能和效率问题,提出一种采用IEEE 1394总线协议和虚拟复合MAC(Media Access Control)的工业现场总线协议.在IEEE 1394基本协议层的基础上设计虚拟MAC子层,通过附加总线配置实现节点功能的区分,利用等时数据传输和异步数据传输实现时分多址、仲裁、轮询、令牌等MAC方式的数据通信.      

基于外包合同网的自治电磁探测卫星群任务规划

针对具有星间通信能力的自治电磁探测卫星群任务及载荷特点,建立了基于MAS (Multi\|Agent System)的电磁探测卫星群自主规划模型,提出了基于外包合同网的电磁探 测卫星群自主规划算法。根据模拟的数据进行仿真实验及分析,该方法能有效解决电磁 探测卫星群自主任务规划问题。
     

“维加”火箭将发射哈遥感卫星

根据阿里安航天公司与哈萨克斯坦签订的一份合同,哈“对地遥感-高分辨率”（DZZ—HR）光学对地观测卫星将在2014年年中由欧洲新型“维加”小型运载火箭发射。作为法哈两国领导人2009年达成的一项范围广泛的航天合作协议的一部分,重900千克的这颗卫星正在由法国阿斯特里姆公司建造。它将能从750千米的轨道观测到直径只有1米的物体。卫星将由哈方工程技术人员运行。     

TCP/IP协议栈在帧中继网络中的性能分析

使用OPNETModeler软件对Windows98、Windows2000、Solaris2.7以及HPUX10操作系统TCP／IP协议栈在帧中继网络中的吞吐量性能进行了研究。通过对仿真实验的分析和比较，发现基于UNIX操作系统的TCP／IP协议栈的吞吐量性能明显优于基于Windows操作系统的。     

西科斯基与昌飞签署协议将在中国生产S-76DTM机舱

2013年9月5日,在天津国际直升机博览会上,西科斯基飞机公司和昌河飞机工业集团有限责任公司签署协议,昌飞将为西科斯基生产S-76D~TM商用直升机的机舱。昌河飞机工业集团有限责任公司董事长余枫和西科斯基飞机公司运营高级副总裁艾德分别代表各自公司签署了协议。S-76D直升机是西科斯基的最新型飞机。昌飞之前曾根据双方在2007年签署的协议为S-76C++~TM直升机提供机舱。昌飞目     

非接触式智能卡协议测试系统的设计与实现

针对智能卡协议测试存在的自动化和标准化程度低、脚本复用性差等问题,提出了一种非接触式智能卡协议测试系统Proxi CPTS(Protocol Test System of Proximity Card)。系统采用分层结构和模块化设计的思想,通过硬件抽象层屏蔽测试设备的不一致,构建功能函数库以实现代码隔离,采用工程化方法管理测试用例,支持系统扩展。实际应用表明,该系统能够提高测试效率,且系统结构清晰,具有较高的可维护性,可以满足自动化测试的应用需求。     

基于PKI的IPSec-VPN代理网关的设计与实现

针对IPSec-VPN网关开发的特点,提出了PIG代理网关的概念,并就一个基于PKI的 IPSec-VPN网关开发的实例作了比较详细的描述,给出了实现的框图和几个主要算法的设计。