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

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

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

无人直升机系统CAN总线应用层协议设计

为了将CAN(Controller Area Network)总线应用于无人直升机系统,设计一种具有通用性的CAN应用层协议.针对CANaerospace V1.7版协议在无人直升机系统应用的数据定义、测控带宽等问题进行改进.重新设计定义了基本帧格式和数据标识号,提出一种适用无人直升机系统应用的CANauh协议.为了对CANauh协议进行验证,以一种基于CAN总线的无人直升机航空电子系统为对象进行CAN总线数据内容、调度表、总线负载的设计和CANoe数字仿真.CANauh协议在10 ms基本周期的总线负载为40.83%,数据可扩展定义空间为67.4%,测控系统带宽具有66.7%的占空比,满足无人直升机系统的指标要求.CANauh协议可以促进CAN总线在无人直升机系统中的应用,避免重复性设计,增加各个系统间的互操作性,降低开发维护成本.      

高速机群互连网络链路层协议设计

为了设计出精简、高效的互连网络协议,实现高性能机群互连网络,提出了适合机群系统互连网络的链路层协议框架,讨论了停-等和退后N帧协议,并采用FPGA(Field programmable Gate Array)芯片分别实现了这2种协议方案,对它们的性能进行了分析.结果表明,退后N帧协议比停-等协议具有更好的性能,而且实现2个协议的逻辑电路所占用的FPGA资源基本相同.     

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

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

多协议多用户GPS/GSM监控系统网关的设计与实现

在多协议、多用户GPS(Global Position System)/GSM(Global System for Mobile communications)监控系统中,网关的设计对系统的性能、可用性和可扩展性有重要作用.讨论了在网关设计中需要注意的几个关键问题:通过分析不同短消息服务器的接口协议,提出使用协议管理器实现多协议接入;给出了与用户系统的通信指令格式,并分析了地址的转换流程.最后剖析了用多线程方式和消息驱动实现这种系统的优点,并给出了一个具体实现的消息循环流程.实践证明这种设计是可靠高效的.     

ATN中的数据压缩算法分析及进一步完善

针对航空电信网移动通信中的数据压缩问题,详细分析了无连接网络层协议(CLNP,Connectionless Network Layer Protocol)报头压缩过程和压缩性能,得出传输效率、报头压缩效率与报文长度的关系.在缺省域间路由方式下,结合ESIS(End System to Intermediate System )协议,提出了CLNP报头数据的压缩完善方案,并分析了算法的压缩性能、给出了压缩效率和数据包长的关系.仿真结果表明,该算法进一步提高了压缩效率,提高了无线信道传输效率.      

基于MIMO技术的无线局域网跨层协议设计

多输入多输出(MIMO,Multiple Input Multiple Output)技术可以通过实现空分复用有效地提高无线系统的性能.提出了一个对于站点(station)和无线接入点(AP,Access Point)都装配有多天线的无线局域网的介质访问控制层(MAC,Medium Access Control)协议.此协议利用跨层优化设计的方法解决了将MIMO技术用于WLAN(Wireless Local Area Network)中存在的一些问题.例如,如何在传统的802.11协议中加入训练用的导频序列,以及如何实现数据的并行传输等等.随后,提出一个三维离散马尔可夫模型来分析此协议性能,并与理论值进行比较.最后的仿真结果说明此协议能有效的提高系统吞吐量.     

J2EE信息系统数据访问层性能监测与优化设计

针对J2EE信息系统开发阶段从性能优化的角度实现了数据访问层的设计和一个简易的性能监测工具.首先在数据访问层设计阶段,兼顾考虑开发效率和性能问题提供专门的数据访问操作方法;利用面向方面编程(AOP,Aspect-Oriented Programming)技术对系统数据库访问操作及性能指标进行监视,帮助开发者在系统调试运行阶段根据SQL语句执行情况发现数据访问过程中影响性能的因素;开发根据具体的情况调整数据访问的源代码,然后对造成系统性能瓶颈的SQL语句进行性能调优,并替换数据访问层中低效的SQL语句,最终达到优化系统数据访问性能的目的.      

基于XML的EtherCAT工业以太网协议解析技术

重点研究了基于可扩展标记语言(XML,eXtensible Markup Language)的EtherCAT工业以太网协议解析器技术和实现方法.介绍了EtherCAT协议报文格式和特点,分析了以太网数据侦听器和协议解析器的结构,针对通用以太网解析器在工业以太网领域应用的局限性,提出使用XML语言描述协议报文的方法,在此基础上开发出一种开放式、可重构的EtherCAT协议解析器.实验结果表明基于XML的协议报文描述方法及解析器能够有效地描述和解析EtherCAT协议报文,使用者可以根据解析对象格式使用XML语言自定义、修改和扩展协议解析规则,获得清晰、直观的解析结果.      

卫星通信全代理同态可信传输机制研究

卫星通信及应用已经成为当前社会生活的重要组成部分。为了解决卫星通信数据安全传输、信息隐私保护、接收端信息依赖等问题，基于低轨卫星气象数据传输的典型应用场景，提出了一套全代理同态加密传输模型（FPRM），并依据卫星通信系统架构将其实例化，从而设计卫星通信全代理同态可信传输系统与运行机制。该机制增加系统的通信安全和隐私保护，实现密文的可计算和传输全代理，有效融合卫星、商业数据中心以及互联网资源，降低运行成本，提高资源利用率，具有重要的实际意义和应用价值。最后，通过试验证明该模型的性能和数据扩展性具有可行性。     

基于动态ID的远程认证方案的改进

智能卡由于具有低功耗、安全计算和便携性的特点,常常被用做身份认证终端.基于静态口令的认证方案不能由用户选择密钥并且需要在服务器保存一个密钥表,而基于动态ID的方案能解决这些问题.提出了新的方案,指出Liao-Lee-Hwang方案中不能抗偷窃攻击的缺点,并在其基础上做了改进.新的改进方案不仅继承了原方案中抗猜测攻击、实现共同认证、服务器不会泄露用户密钥的的优点,同时也避免了窃取攻击;并且新的改进方案在计算量上也小于Liao-Lee-Hwang的方案.      

基于SM4算法的白盒密码视频数据共享系统

基于SM4算法的白盒密码视频数据共享系统是一种保障监控视频数据跨级跨域共享安全的系统，提出了一种基于国密SM4算法的白盒密码实现方式，并分析了算法的安全性，解决了SM4算法在非信任硬件环境中的安全运行问题。研制了基于后台权限控制机制的视频数据安全共享软件系统，包括共享数据上传/下载、共享审核、数据白盒加密处理、访问控制、基于白盒密码算法的共享视频解密播放器，实现了视频数据共享全过程的安全管控。搭建了实验环境，对所提系统进行了功能性能实验。实验结果表明，所提系统功能性能满足设计要求。      

卫星闭环姿控下的双组元四贮箱液体晃动联合仿真研究

首先介绍了基于UDP通讯协议实现的贮箱液体晃动联合仿真方法.该方法采用FLUENT计算运动贮箱的液体晃动力、力矩、质心结果,星体动力学程序在获取贮箱晃动结果后通过控制算法和策略计算星体运动的线速度和角速度.两者之间的双向数据交换,通过C/C++语言开发的通讯接口来实现.然后借助上述联合仿真方法,开展了贮箱晃动联合仿真分析,并与在轨遥感数据进行了对比,然后分析了俯仰0~25°机动工况的4贮箱液体晃动特性,最后对比分析了带孔和无孔叶片在星体动力学控制下的液体晃动特性.非沿轨迹工况下,2、3号贮箱的晃动力和力矩峰值大于1、4号贮箱,4个贮箱的Y向晃动力峰值在1.05~1.96 N,力矩值在0.05~0.36 N·m;带孔叶片对液体的搅动作用要弱于无孔叶片.无孔叶片搅动的气泡出现了明显的拉伸与离心运动,并导致更大的流体流动速度.     

高速公路收费系统通信服务器的设计与实现

高速公路收费系统通信服务器是高速公路收费系统数据传输的枢纽.重点介绍了高速公路收费系统通信服务器软件的设计、实现方法和特点.通信服务器使用按优先级分发报文的通信协议,支持多用户的并发通信.为了实现数据共享的集中控制,通信服务器采用客户/服务器的模式.使用多线程的编程技术,满足了对通信服务器实时性的要求.目前,该软件已通过了验收,在广深高速公路上运行良好.      

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

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

基于ECSS标准的航天器姿轨控系统内1553B总线数据协议设计

摘要： 国内外航天器姿轨控系统广泛应用基于1553B内总线的体系结构.针对国内航天器姿轨控系统内部1553B总线数据协议不统一带来的可集成性、可扩展性和通用性差的问题，本文设计了基于ECSS标准的姿轨控系统内1553B数据总线协议，从姿轨控系统内部总线数据业务需求分析出发，提出了四层结构的数据协议体系结构，重点介绍了在应用支持层和链路服务层应用ECSS标准的总线协议设计，并说明了协议的应用情况.应用该国际通用的标准协议，有助于实现国内航天器姿轨控系统内1553B总线数据协议的标准化，进而提升姿轨控系统体系结构的可集成性、可扩展性、以及星载设备(含软件)的通用化.     

FC-AE-1553网络传输性能评价

为了提高航天航空网络传输性能,提出一种通用的FC-AE-1553网络传输效率计算方法并研制高性能FC-AE-1553节点卡.首先,对FC-AE-1553网络的消息传输过程进行详细分析,分析信息类型,给出传输帧的格式建议,通过分析FC-AE-1553协议中各类消息传输的时间参数,结合FC标准中对通信时间的要求,提出FC-AE-1553网络交换中各种消息类型的通信时间计算公式.然后, 针对无差错传输和有差错传输两种情况,给出了网络传输效率的计算方法.最后,通过仿真分析数据帧净荷长度、节点处理时间、交换中序列数量、传输误码率、丢包率等参数对FC-AE-1553网络传输效率的影响,给出了网络优化设计的建议.依托某航天工程任务,研制了基于XC5VFX100T和MPC8536E的FC-AE-1553节点卡.实验结果表明:丢包对传输效率的影响可忽略;数据帧净荷为2 048 B,数据帧数量为16时,传输效率可达到77.2%.      

新一代机载自主式数据总线

介绍90年代美国民航界将推出的一种数据总线DATAC(Digital Autonomous Terminal Access Communication)。讨论DATAC的产生背景、通讯协议及操作方式、同步和异步传输、消息传输和文件传输、功能框图及关键技术等。研究表明目前在实验室可以实现这一系统。