公开密钥数字签名算法研究

数字签名是密码学中的重要课题之一,它是传统文件手写签名的模拟,能够实现用户对以电子形式存放的消息的验证。当算法公开时,在计算上不可能由加密密钥求解解密密钥,因而可以将加密密钥公开,即公开密钥。RSA密码是一种利用因数分解的困难性而设计的公钥密码。本文详述了RSA加密算法的实现以及如何利用RSA实现数字签名。     

基于混合加密的 移动存储文件安全系统设计与实现

针对移动存储设备数据传递过程中面临的信息泄露、内容篡改等安全问题,基于多层嵌套混合加密思想,将ECC公钥密码体制与AES高级加密标准相结合,建立操作系统服务层的移动存储文件安全体系。设计了ECC密钥对存储格式、公钥离线交换机制和基于ECDH的密钥交换协议。将密钥信息以密文身份认证文件的形式随加密文件同时存储至移动存储设备中;解密时,以身份认证文件和ECC算法为依据进行解密。设计了二层混合加密和三层混合加密2种模式,使系统在安全和便捷方面具有一定的弹性,并在提高文件分发灵活度的同时,保证了系统的安全性。经严格测试,系统具有理想的安全性,能够实现对移动存储设备文件的有效防护。     

数字水印技术浅析

数字水印技术是一种通过一定的算法将一些标志性信息直接嵌到多媒体内容当中，但不影响原内容的价值和使用，并且不能被人的知觉系统觉察或注意到的新型信息隐藏技术。水印信息可以是作者的序列号、公司标志、有特殊意义的文本等，可用来识别文件、图像或音乐制品的来源、版本、原作者、拥有者、发行人、合法使用人对数字产品的拥有权。与加密技术不同，数字水印技术并不能阻止盗版活动的发生，但它可以判别对象是否受到保护，监视被保护数据的传播、真伪鉴别和非法拷贝、解决版权纠纷并为法庭提供证据。为了给攻击者增加去除水印的难度，目前大多数水印制作方案都采用密码学中的加密（包括公开密钥、私有密钥）体系来加强，在水印的嵌入、提取时采用一种密钥，甚至几种密钥联合使用。     

CCSDS AOS数据保护途径的研究

本文旨在探讨一种适合于贯彻CCSDS AOS建议的我国TDRSS的数据保护途径，内容主要包括实施数据保护层次的选择、实现数据加密业务与加密认证业务的具体方法和进行密钥分配与管理的方法，并分析了数据保护对AOS的影响，提出了对我国TDSS数据安全问题的建议。     

基于北斗空时信息的安全通信方法

随着5G大规模商用和6G研发的启动,天地一体已成为未来移动通信发展的共识,然而空口边界被无限扩大,使无线通信安全面临着前所未有的严峻挑战,我国北斗三号卫星导航系统的全球位置信息服务为安全通信与定位导航的学科交叉提供了可能。提出了一种利用用户空时信息进行加密的安全通信方法,该方法是一种利用位置和时间唯一性的加密技术,通过北斗卫星导航系统的定位授时服务获取用户的空时信息,基于短报文业务实现信息共享,在传统加密算法的基础上提供额外安全层。该方法在密钥生成阶段提出了一种基于MD5信息摘要结合Logistic混沌映射的密钥生成算法(MD5-Logistic),使加密过程随位置变化而动态更新。仿真结果表明,该算法生成的密钥具有较高随机性,且有效降低了生成密文与明文间的相关性。在此基础上,为提升对定位误差的容忍能力,引入容忍距离概念,将解密范围从一点扩大为一个区域,使系统的鲁棒性及实用性得到显著提升。最后通过实测得到通信成功率与容忍距离间的关系,并给出合适的容忍距离。     

基于北斗空时信息的安全通信方法

随着5G大规模商用和6G研发的启动,天地一体已成为未来移动通信发展的共识,然而空口边界被无限扩大,使无线通信安全面临着前所未有的严峻挑战,我国北斗三号卫星导航系统的全球位置信息服务为安全通信与定位导航的学科交叉提供了可能。提出了一种利用用户空时信息进行加密的安全通信方法,该方法是一种利用位置和时间唯一性的加密技术,通过北斗卫星导航系统的定位授时服务获取用户的空时信息,基于短报文业务实现信息共享,在传统加密算法的基础上提供额外安全层。该方法在密钥生成阶段提出了一种基于MD5信息摘要结合Logistic混沌映射的密钥生成算法（MD5-Logistic）,使加密过程随位置变化而动态更新。仿真结果表明,该算法生成的密钥具有较高随机性,且有效降低了生成密文与明文间的相关性。在此基础上,为提升对定位误差的容忍能力,引入容忍距离概念,将解密范围从一点扩大为一个区域,使系统的鲁棒性及实用性得到显著提升。最后通过实测得到通信成功率与容忍距离间的关系,并给出合适的容忍距离。     

基于Linux军用TCP/IP协议栈设计与实现

提出一种在嵌入式Linux操作系统上运行TCP/IP协议的解决方案。介绍了Linux内核,在此基础上结合嵌入式系统特点,对TCP/IP协议栈进行简化,提出总协议栈的体设计。根据军用通讯要求着重讨论了网络协议的安全问题,参考现在通用的网络安全模式PGP,对TCP/IP协议栈进行修改,主要是在应用层中加入了加密、认证以及密钥分配过程。加密过程采用DES和RSA组合算法,保证其安全性、可行性以及时效性。     

基于容迟网络路由的航天测控网量子密钥分配

为提高航天测控网通信的安全性,本文将量子密钥分配技术应用于分布式航天测控网,并采用容迟网络路由策略来传递量子密钥。首先在地面站和航天器之间建立量子密钥分配系统,生成并共享密钥;随后以行进中的航天器为中介,逐段加密传送密钥;最终可使两个地面站共享量子密钥,保证信息传输的绝对安全。考虑到容迟网络的特点,本文对传染病路由算法进行改进,并应用于密钥传递过程。仿真结果表明,上述密钥分配机制可有效提高航天测控网通信的性能。     

基于虚拟机的一种移动代理安全策略

主要研究在普适计算环境下移动代理的安全机制,提出了一种主从模式下代理密钥协商的协议,此协议实施的关键是使用指令系统可变的虚拟机.这种虚拟机可被动态生成,并且每次都使用不同的指令系统,以此来保证恶意宿主不能在短时间内获取会话密钥的信息.通过模拟攻击测试验证了此移动代理安全策略的有效性.     

通信加密与鉴别技术在电子商务中的应用

通信加密与鉴别技术所具有的良好的保密通信、防伪造、防篡改、防拒认功能,使其成为电子商务安全体系关键性技术.基于对其中对称密钥加密体系DES算法,非对称秘钥加密体系RSA算法以及SHA报文摘要算法的研究,提出了一套具有信息安全性、完整性、身份确认和防拒认功能的电子商务安全通信解决方案.     

Software defect prevention based on human error theories

Software defect prevention is an important way to reduce the defect introduction rate.As the primary cause of software defects,human error can be the key to understanding and preventing software defects.This paper proposes a defect prevention approach based on human error mechanisms:DPeHE.The approach includes both knowledge and regulation training in human error prevention.Knowledge training provides programmers with explicit knowledge on why programmers commit errors,what kinds of errors tend to be committed under different circumstances,and how these errors can be prevented.Regulation training further helps programmers to promote the awareness and ability to prevent human errors through practice.The practice is facilitated by a problem solving checklist and a root cause identification checklist.This paper provides a systematic framework that integrates knowledge across disciplines,e.g.,cognitive science,software psychology and software engineering to defend against human errors in software development.Furthermore,we applied this approach in an international company at CMM Level 5 and a software development institution at CMM Level 1 in the Chinese Aviation Industry.The application cases show that the approach is feasible and effective in promoting developers' ability to prevent software defects,inde pendent of process maturity levels.     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

发动机构型分析与评价软件的设计与实现

在发动机初步设计阶段,要根据对发动机的构型方案进行分析与评价,来选择发动机主要设计参数,并从多个发动机方案中选择最佳方案。作者以液体推进剂火箭发动机为研究对象,建立了一个发动机构型分析与评价软件IRE/CAA。本文阐述了软件LRE/CAA的设计思想,介绍了软件所包括的模块和各个模块的功能,并说明了在软件实现过程中一些问题的处理方法。     

软件配置管理工具的数据库设计与实现

软件配置管理是CMM的一个关键过程域，是软件开发过程的重要过程之一，是一套按规则管理软件生命周期全过程中各种中间软件产品和最终软件产品的方法和技术。随着我国航天事业的飞速发展，对航天测控软件的质量要求也越来越高，为此，我们开发了针对航天测控软件系统的软件配置管理工具(SCMT)。本文介绍了软件配置管理的基本概念和SCMT中的数据库系统的设计和实现思想。     

实时数据处理技术在稳定裕度试飞中的应用

介绍了稳定裕度试飞流程和稳定裕度实时数据处理软件的设计思路,讨论了稳定裕度实时数据处理系统的数据流程和如何建立飞行试验数据库,最后给出了系统经过试飞验证后的几点结论。     

卫星业务测控站在轨测试系统软件研究

探讨了卫星在轨测试系统软件开发平台以及测试软件的功能和实现。     

设备总体工作中的软件质量控制

设备软件的质量控制工作是设备总体工作不可缺少的一部分，它直接影响产品的使用质量和维护成本。本文从软件工程化管理角度出发，结合设备总体工作实践和软件测试工作实践，提出了在设备软件研制的不同阶段应该特别关注的质量要素，对设备总体工作人员具有一定的帮助。     

A safety kernel for traffic light control

The success of kernels for enforcing security in software systems has led to proposals to use kernels for enforcing safety. This paper presents a feasibility demonstration of one particular proposal for a safety kernel via the application of traffic light control. The paper begins with the safety properties for traffic light control and specifies a kernel that maintains the safety properties. An implementation sketch of the kernel in Ada is given and use of the kernel is discussed. The contribution of the paper is a demonstration that a kernel is a feasible and desirable technique for software in a realistic, safety-critical application. The paper also illustrates how formal methods aid the software engineer in constructing and reasoning about such software     

航天飞控中心软件再工程方法与实践

从软件再工程的基本概念和模型入手,首先说明了航天飞控中心软件再工程的目标和意义,然后结合测控应用软件的特点,讨论了为保障功能、质量、开发周期等要求可以采取的再工程策略方法。文中还分析总结了作为航天指控中心首次软件再工程实践的“某应急控制系统”软件开发经验,对如何更加有效提高软件质量和融合新兴技术提出了观点。     

软件可靠性之定量评估方法研究

基于对多种软件可靠性模型的分析,并结合工程软件之特点,提出一种工程软件适用的可靠性定量评估方法,并将其应用于某航天工程软件的可靠性评估。实践表明,本方法简单、可行,对其它领域的软件可靠性评估同样具有参考价值。