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

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

面向NXD的XML数据函数依赖

XML的半结构化特性造成了Native XML 数据库中数据模式规范化设计中的很多问题.采用结构信息和数据信息相结合的方法,给出XML数据间函数依赖的定义,解决数据模式规范化设计中的理论问题.建立了XML模式路径和XML数据树节点路径的定义,描述XML数据中的路径;给出了XML文档有效性的形式化定义;在此基础上定义了树元组和树元组相等的概念.运用树元组及其相等的概念定义了XML数据的函数依赖关系,进而给出了相应的自反、增广、传递推理规则,用于推导给定集合所蕴涵的函数依赖关系.并证明了这一推理规则是正确的.上述工作为Native XML 数据库系统中数据模式的规范化设计提供了一定的理论基础,增强了XML数据的语义特性.     

流媒体系统多数据流安全的动态选择控制模型

部分加密等媒体数据加密算法是保护媒体数据安全的有效方法,但用其加密流媒体系统中的多路媒体数据将使系统面临效率、规模扩展与安全性问题.为此提出基于数据安全权重的多数据流加密的动态最优选择控制模型,根据各数据流的带宽、权重等参数,为不同数据动态选择不同强度的加密方法.由于化简后的数学模型是NP难的0-1背包问题,结合实际系统特点提出基于贪婪启发思想的增量式近似算法.理论分析和实验表明该算法时间复杂度低且具有良好的近似性.最终在一个实用流媒体系统——Admire系统中设计实现了选择控制模型的原型子系统.      

一种XML相似重复数据的清理方法研究

针对半结构化数据XML在数据清理中的重要性,研究了如何清理XML相似重复数据,主要工作有:提出一种有效的XML相似重复数据清理方法,该方法具有较强的适应性,任何XML相似检测算法都适用于此;给出一种基于树编辑距离的相似检测算法,该算法能有效地检测XML相似重复数据;采用树编辑距离的上下限优化基于树编辑距离的相似检测算法,避免了不必要的树编辑距离计算,降低了相似检测计算的复杂度,提高了运算效率.此工作为研究XML相似重复数据清理打下基础.      

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

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

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

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

飞机复合材料构件设计、分析和制造数据集成

实施复合材料构件数字化定义是实现复合材料构件设计、分析和制造数据集成的基础.复合材料构件数字化定义包括几何建模和材料结构建模.总结了材料结构建模过程和材料铺放数据的组成,指出当前复合材料构件分析无法基于最终的真实纤维路径进行,采用离散三角形单元的真实纤维路径来近似铺层纤维的最终状态,并利用可扩展标记语言(XML,Extensive Markup Language)文件对材料铺放数据进行了描述,探讨了通过纤维路径数据到有限元网格的自动映射实现材料铺放数据的自动传递.最后,研究了设计数据到排样下料系统和激光投影系统的集成和接口数据组织方法.      

基于EPASS1000网络身份安全认证 解决方案的设计

网上身份认证是网络安全的一个关键环节,为此,提出了采用EPASS1000进行网上身份安全认证的解决方案.EPASS1000是一种便携式的通过USB接口与计算机相连的硬件设备,内置了MD5加密安全算法,该算法在加密原文中引入自由因子,使同一原文在不同的加密过程中具有不同的结果.实现了EPASS1000的安全特性与网上实际应用的完美结合,给出了身份安全认证的实现过程,构建了EPASS1000网上身份安全认证逻辑模型,并以ASP(Active Server Pages)为语言工具给出了一个具体的程序实现,有效地解决了网上安全身份认证问题.      

《空间数据系统》（第二版）

随着载人航天、深空探测、卫星导航通信、卫星遥感的快速发展,以及空间网络、天地一体化网络的建设推动了空间系统技术的发展和广泛应用,空间信息资源日益成为重要的战略资源。空间数据系统可以定义为对航天器获取的、产生的以及相关信息进行可靠、安全的处理、传输、存储、分发等各部分的集成。既不仅是“空间数据的系统”,因为它包含地面数据穿越空间网络;也不全是“空间的数据系统”,因为它还包含地面处理的系统。更全面地说,它是航天器内部各分系统（含有效载荷）之间、航天器之间、航天器与地面系统之间信息流动涉及的数据和软硬件系统。     

基于弹载遥测图像加密域的可逆信息隐藏算法

针对弹载红外遥测数据下传带宽受限,图像接收端内容受损的问题,基于对称加密系统与差值直方图平移算法提出了加密域可逆信息隐藏算法与红外遥测图像相结合的方案,一方面可以将弹载遥测数据嵌入到红外遥测图像中,另一方面可以对红外遥测图像进行图像加密,保证传输过程中图像内容的安全性。在图像接收端,通过与图像发送端相同的加密密钥与嵌入方案进行图像的无损恢复与嵌入信息的可逆提取。实验结果表明：对于位深度为16,尺寸为128×128的红外遥测图像,利用图像冗余空间可嵌入15000比特左右的二进制数据,且保证了遥测图像与遥测数据的可逆恢复。     

基于GL Studio的计量检定仿真系统的开发

为了解决检定人员实际操作培训困难的问题,运用GL Studio开发出基于真实仪器照片的计量检定仿真系统。设计了计量检定仿真系统的通用框架结构,开发了可重用的各种仪器模型,实现了对仪器面板及其实际检定操作过程的仿真。该仿真系统以XML文件来描述计量检定过程和检定资源,具有通用性强,可扩展性好,场景模型逼真度高,交互性好等优点,可广泛用于各种计量检定操作的仿真系统的开发。     

内容全球化管理系统的设计与实现

针对企业多语言内容信息管理的需求,提出了用于检测客户端内容信息变化的数据 库内容变化监测算法与文件内容变化监测算法,并结合XML,CORBA(Common Object Request Broker Architecture) 及工作流技术,设计并实现 了能够有效集成现有的企业多语言内容的管理系统.结合多语言内容信息的特点,完成了系 统整体框架、系统主要模块的工作流程及内容变化检测算法的设计;通过系统的实现, 验证 了该算法是有效的及系统设计是可行的.      

面向Web的知识描述语言

提出了Web知识描述层次模型,采用本体论技术从类、槽和槽约束3方面对领域知识建模,结合描述逻辑、框架系统建立了基于XML(eXtensible Markup Language)和本体论技术的知识描述语言(KDL).然后,介绍了KDL的扩展语法,并从一阶逻辑的角度对KDL的语义特征进行分析,提供KDL到FOL(First-Order Logic)的映射方法以完成KDL语言和FOL表达式之间的转化.实践证明KDL具有规范的语法和精确的语义,具有较强的逻辑推理能力.      

Web开放平台安全体系的研究与设计

Web开放平台是Web2.0时代的发展产物,它能提供更多的可能性,具有更强的渗透能力,随之也面临着更多的安全问题。本文分析了开放平台原理,设计了开放平台安全通信流程;通过研究开放带来的一系列安全问题,明确了开放平台安全的设计方案;并且从平台整体安全的角度完成了安全体系的设计,保证了系统网络间相互连接关系的清晰合理。Web开放平台安全体系的研究和设计能够为互联网安全、以及开发人员提供有力的帮助。     

基于工作流的集成质量管理系统设计

针对传统的面向功能的质量管理系统流程控制能力的不足,分析了工作流技术在实现质量过程管理、过程控制和过程重组方面的优势,基于工作流技术设计了支持过程管理和控制、面向飞机制造领域的集成质量管理系统模型,研究了基于J2EE (Java 2 Enterprise Edition)架构的三层体系结构,通过将工作流中间件与系统框架集成,建立了支持工作流管理的使能技术平台,该平台提供了工作流建模工具和工作流执行服务以及系统开发、运行环境,实现了过程管理和信息管理的集成;描述了基于XML(eXtensible Markup Language)的系统集成方法,提高了质量系统与其它系统的集成能力.该设计已应用于某大型飞机制造企业的质量管理系统.     

基于XML的自动测试系统资源描述方法

针对当前自动测试系统(ATS,Automatic Test System)信息共享和互操作能力差的问题,应用XML(eX lensibleMarkup Language)语言实现了ATS的模型化描述,模型化的信息包括测试设备、接口连接装置ICA(Interface ConnectorAssembly)、测试适配器和被测设备UUT(UnitUnder Test).对测试设备的性能和UUT测试需求采用统一的信号与测试定义标准STD(signal and test definition)进行描述,实现了测试设备性能与UUT测试需求的自动匹配.通过引入逻辑资源的概念对测试设备性能与仪器通道之间的动态映射关系进行描述,以实现测试过程中仪器资源的合理分配.采用XML作为ATS的建模语言,提高了ATS资源建模的开发效率和系统内信息的互操作程度.