基于子协方差阵加权的三星时差定位数据综合

为提高三星时差定位系统的定位精度,需要将系统在不同时间得到的多个定位估计结果进行统计综合。本文提出了一种基于子协方差阵加权的定位数据综合算法。该算法根据单点定位精度分析结果,先利用定位误差协方差的二维子阵的逆矩阵作为权矩阵,通过加权最小二乘估计目标空间三维坐标位置中的其中两维,再利用WGS-84地球模型求解另一维坐标。仿真实验表明,相比已有算法,所提新算法可以明显提高定位精度。     

一个新的电子发票协议及其公平性分析

在克服著名电子发票服务IBS协议缺陷的基础上,提出了一个新的电子发票服务协议.同时,采用新的基于扩展Kailar逻辑的分析方法对新协议进行了公平性形式化分析与修改,最终得到一个可以工作在不可靠信道上的公平电子发票服务协议.     

舰用计算机局部网络通信协议的设计

介绍了舰用计算机局部网络通信协议的设计,重点描述了设计中为提高实时性和可靠性所采用的一些具体技术措施,其中包括:简化ISO/OSI—RM 参考模型,并与IEEE8024标准协议兼容,采用VLSI 技术设计网络接口卡。同时,对其中一些关键技术,如逻辑环的建立与维护、信息的优先级发送与实时响应、数据缓冲区的结构与管理都作了说明。     

容错局域网的理论及设计

本文提出了“容错局域网”的设计思想,并详述了其设计方法.该系统的设计成功,解决了网络实时通信过程中的有关技术问题.     

基于FPGA的FC终端协议处理芯片的设计与实现

为满足新一代航空电子系统对光纤通道网络的实际应用,实现FC终端接口板的快速开发,在对光纤通道协议进行深入研究的基础上,提出了一种基于FPGA的FC协议处理芯片的设计方案。对协议处理芯片的功能结构进行研究分析,采用模块化设计思想,对FC帧收发模块、缓冲区流量控制模块、端口状态机以及FC收发通道模块进行详细设计。通过对协议处理芯片的功能测试表明芯片满足高速低功耗的设计要求,该芯片对航空电子系统中光纤通道网络的研究与应用具有一定的借鉴与促进作用。     

SIP协议安全威胁分析

众所周知,Vo IP技术在未来语音通信中所占的比重越来越大。随着Vo IP的不断发展,基于SIP协议的Vo IP应用也不断增多。但是,由于SIP协议高度依赖于开放的IP网络,使得其安全性逐渐成为关注和探讨的焦点。主要分析了SIP协议网络面临的一些安全威胁,包括典型的外部攻击技术和协议自身存在的漏洞等。探讨了为应对SIP安全威胁提出的加密、认证等安全策略并且分析了这些安全策略的优缺点,提出了针对SIP安全策略进一步改进的方向,旨在不断提高和完善基于SIP协议的安全性能。     

嵌入式浏览器中SSL的设计与实现

针对嵌入式浏览器信息传输的安全性问题和嵌入式软件的特点,介绍了SSL协议,提出了一种在嵌入式浏览器中实现对SSL协议支持的方法.通过分析影响SSL协议客户端性能的因素,对SSL的实现过程进行了适当的优化,使用会话恢复机制、只对服务器进行验证的简单握手模式、减少TCP调用次数和优化对批量数据加密算法等方法,实现了嵌入式浏览器对SSL协议的支持;并介绍了方法在嵌入式浏览器JARI_Browser中的实现过程.实际的应用验证了该方法的可行性和正确性.     

单一基窃听方式下B92协议的安全性研究

从概率论和信息论两个角度对单一基窃听方式下B92协议的安全性进行了研究,得出了最佳窃听角度和信源概率分布之间的关系;以马尔柯夫串联信道模型计算了Alice和Eve之间及Alice和Bob之间的信息量,并与广义量子测量窃听进行了比较,结果表明,Eve采用单一基窃听不仅能以较高概率猜中Alice发出的量子态,并且能获得较高平均互信息.得出的结论为合法通信者的安全通信和对窃听者的检测提供了标准.     

一种开放式PKI身份认证模型的研究

分析了传统PKI(Public Key Infrastructure)身份认证模型存在的问题,基于OCSP(Online Certificate Status Protocol)协议的证书状态验证服务和密钥验证服务相分离,造成了传统PKI身份认证模型的信任度下降,增加了身份认证的风险,跨CA(Certificate Authority)认证复杂度高,CA机构提供的身份认证服务不完整等问题。提出了一种开放式PKI身份认证模型,由CA中心独立完成两个验证服务,将OCSP应答机制改进为提供身份证明文件的方式,可有效解决上述问题。通过云信任评估模型对两种认证模型进行了量化评估,证明了本文提出的开放式身份认证模型可有效提高信任度。对该模型进行了原型实现,重点对性能问题进行了优化,实验测试表明,该模型具有实用价值。     

云计算中基于公平的安全判定相等协议的身份认证方案

云用户与云之间的双向认证是云计算中用户访问云中资源和数据的重要前提。为解决云计算环境下基于口令的身份认证方式存在的问题,并保证海量用户环境下认证的效率,对一个常数复杂性的判定口令相等的百万富翁协议进行了改进,提出了一个公平的安全双方判定相等协议,可以公平且秘密地比对认证方与被认证方所拥有口令的一致性。在上述协议的基础上,基于具有语义安全的加法同态算法――Bresson算法,实现了一个保护云用户和云服务提供者双方隐私的身份认证方案,最后,证明了该身份认证方案在判定相等方面的正确性,并给出了方案的安全性分析。