高可信软件工程技术

随着软件在信息社会中发挥日益重要的作用，人们对软件可靠性、可靠安全性和保密安全性等可信性质的要求也愈来愈高．本文讨论了高可信软件工程技术的现状和面临的主要挑战，给出了基于形式化方法的高可信软件技术的发展趋势和突破点．     

高可信软件工程技术

随着科技时代的不断推进,我国软件行业的发展起到了更加的作用。人们对于软件的要求在不断的提升,比如软件的可靠性、安全性和保密性等可信性质都是人们关注的重点。本文主要对高可信软件工程技术的发展现状以及发展过程中所要面对的困难进行了讨论,同时提出了高可信软件的发展趋势。     

可信操作系统的设计

对可信操作系统进行了分析,与传统操作系统进行比较,针对其安全缺陷,就如何开发操作系统的安全机制和提高操作系统的安全性进行了探讨.提出了可信操作系统的设计方案,给出了设计可信操作系统开发原理和一般过程.     

可信密码模块的模型检测分析

根据可信密码模块规范的非形式化描述,利用模型检测工具SPIN对可信密码模块安全性进行形式化分析,给出了可信密码模块形式化分析的基本框架,重点分析了AP授权协议和可信密码模块初始化子系统.指出了AP授权协议存在的缺陷,并给出了具体的改进措施;同时验证可信密码模块初始化子系统状态的一致性.     

基于多属性熵权合成的软件可信等级评估方法

提出了一种基于多属性熵权合成的软件可信等级评估方法,该方法基于证据分类对多元可信证据进行合成,再通过不确定熵计算各可信属性的权重值,进而合成待评测软件的可信级别.该方法着重解决了软件可信性评估中可信证据合成时证据冲突,以及多属性权重分配等问题,从而使软件可信评估的结果更加准确和真实.最后通过具体实施验证了该方法的可行性.     

高可信计算机系统设计与安全防护研究

近年来,我国许多重大领域采用计算机作为电子监控设备,由于其复杂性和关联性,常常出现牵一发而动全身的影响,因此保护计算机的安全性和可靠性显得尤为重要。高可信计算机系统降低了对硬件设施的依赖性,大大提高了系统的安全系数。就高可信计算机系统的设计与安全防护进行简要探究。     

一种安全的智能机顶盒实现方案

基于Android的智能机顶盒设备由于系统开放、跨平台性好而受到业界认可,但软件的开放性带来了终端软件的安全问题.本文从智能机顶盒芯片层面提出了一种解决智能机顶盒设备终端安全性问题的方案,利用OTP数据、安全引导等功能,建立起智能机顶盒系统软件安全链,以保证终端软件系统的安全性,并通过使用基于CPU的终端身份验证,将系统可信域扩展到用户侧设备,确保了业务运行稳定可靠.     

电力生产管理系统的可信构造方法研究

 现有电力生产管理系统存在不能如期完成实施、运行不稳定和功能可用性不强等可信问题.本文提出一种由系统构建、系统实施过程管理、可信评估、可信证明四个部分组成,并在规则指导下进行可信构造的方法.本文提出的这种可信构造方法,经过实际应用证明能够有效提升电力生产管理系统的开发效率与质量,为系统的可信构建、可信分析及升级演化建立坚实的基础.     

一种保护软件可信运行解决方案

软件的可信运行是软件质量的关键因素,一个软件具有可信性是指其提供的服务总与用户的预期相符,为了保护软件的可信运行提出一种解决方案:通过在传统硬件计算平台上添加认证模块验证软件的完整性的方法保护软件的可信运行.认证模块使用非对称加密算法验证软件的数字签名,并根据认证结果控制主机软件的运行流程.一旦主机软件被篡改,认证模块就会锁住主机复位信号停止软件启动.     

诱骗态量子密钥分发系统中的隐蔽欺骗方法

在应用环境可信的情况下,诱骗态量子密钥分发系统具有明确的安全性架构.但是,在不可信的应用环境中,通信一方可以利用诱骗态量子密钥分发系统为第三方隐蔽地窃听开启方便之门.这种不暴露自己的泄密行为是一种隐蔽欺骗.诱骗态量子密钥分发系统具有一定的冗余系统参数（比如接收端设备对光信号的波长和强度的细微变化不敏感,但是系统安全性与这些参数密切相关）,不可信终端通过改变不同信号光脉冲的波长或强度,将为窃听者成功进行基于波分复用或分束攻击的隐蔽窃听提供可能性.这种隐蔽欺骗将直接破坏通信终端之间的信任关系,进而导致通信过程保密性的不可信,这给量子通信系统终端的可信性和安全性提出了一定的挑战.     

利用共同发掘技术实现软件类结构重构的研究

软件系统的质量很大程度上是由其内部结构决定的，在对软件进行优化时往往会使软件内部结构更加复杂，这样就可能会降低软件的性能，所以软件的结构需要一次次的优化修复。以往存在的方法进行这项操作非常复杂繁琐，本文的研究主要是通过共同发掘技术，来实现类结构的代码重构。这项技术中采用了群落点以及相互之间的依赖关系来代表软件系统中的方法属性的依赖关系，按照社区检测的规则来获得方法间网络关系的最优化结构，同时也改善了类的内部结构，实现了软件类结构的重构。     

提高软件可靠性的策略

从软件可靠性的概念出发,简要地阐述了软件可靠性的重要性及影响软件可靠性的主要因素,并强调应该以用户为准则,从软件的管理、开发及测试等4个方面上提高软件可靠性。     

浅谈专用设备软件的测试

随着计算机软件在专用设备中的地位逐渐变得越来越重要,并且软件程序量和复杂度在不停地增加,软件质量将直接影响到设备的品牌和销量,而软件测试是提高软件质量最直接、最快捷的手段,所以专用设备软件测试工作显得越来越关键并且艰难。基于软件测试理论。从专用设备软件的特点出发,对专用设备软件的测试方法进行了研究。     

浅析软件测试管理

现阶段软件产品的应用领域越来越广,软件的质量越来越得到人们的重视,软件测试是保证软件质量的重要环节,更好的规划和管理软件测试工作,提高测试效率是测试人员的首要任务.本文浅析了现阶段软件测试管理的方法和理论.     

如何开展软件的质量管理

举例说明了随着计算机的应用范围日益广泛，软件质量的重要性。介绍了国内外的软件质量管理概况及美国国防部制定的一系列软件规范。阐述了软件质量管理应开展的基础工作，包括软件工程的基本原理以及软件工程标准化、软件分级分类管理、软件文档管理等。并对软件过程改进应着手展开的工作作了简要的介绍，以便软件设计和管理人员对软件质量管理有个初步的认识。     

A software protection framework for mobile devices

The software protection technology is the main component of modern software security technology. Generally, confusion and encryption methods are using in software protection technology to provide traditional desktop applications. But applications based on mobile devices are also faces with threats such as piracy and tampering. The security problem in existing applications for mobile devices will do far more harm to users than traditional virus, but there is no effective software protection security framework for them. A software application framework for mobile devices is proposed in this paper, and the white box decryption algorithm involved is improved. And it is analyzed in this paper the performance and security of the framework proposed, the operational efficiency of the improved encryption algorithm is verified.     

计算机软件插件技术的运用分析及研究

随着我国计算机技术不断发展,如今计算机技术的应用范围愈加广泛.对于计算机技术来说,加强计算机软件插件技术的研究至关重要,能够有效提高计算机软件的运行效率,丰富计算机软件的功能.基于此,本文重点从计算机软件插件技术作为出发点,进而提出计算机软件插件技术的运用,旨在提高计算机软件的开发效率以及丰富其使用功能.     

面向复杂装备的全寿命周期软件保障研究

软件是现代复杂武器装备的核心部件,在提升装备性能的同时,对装备寿命周期内的经济可承受性和安全性提出了严峻的考验,软件保障的重要性不断凸显。随着装备综合保障研究和工程实践的不断深入,软件保障也在不断发展。首先阐述了软件保障的内涵,在分析软件自身固有特性的基础上对影响软件保障的因素进行了总结,重点对基于功能的软件和数据保障模型及软件保障性分析进行了说明,并分析了软件保障费用评估的现状,为复杂装备的软件保障提供了研究思路。     

手机应用层软件的功能要求和测试方法

手机应用层软件测试越来越成为评价手机质量的一个重要手段。信息产业部通信软件测评中心对几十款手机的应用层软件进行了充分的测试,发现了大量的软件质量问题,并对这些问题进行了统计和分析,提出了一些参考建议。     

软件雷达技术研究综述

软件无线电技术以其开放性结构和全面可编程性在通信领域中获得了应用,其信号处理采用多DSP和FPGA结合的设计方法。这种方法也适合于与其结构相似的雷达设计,一些公司和研究机构对此进行了研究。文中从较成熟的软件无线电技术出发,介绍了软件雷达的基本概念、通用结构、通用信号处理平台和适用于软件雷达的数据结构,总结了软件雷达的优越性能和发展趋势。