软件安全性相关论文
RTCA DO-178C作为民用飞机机载软件适航符合性方法，提出了一套以过程控制来满足软件安全性要求的方法，但在软件研制过程中却未提及任......
随着信息技术的不断发展,软件数量及种类不断增长.软件安全性成为用户应用软件、验收软件及申报软件产品的一项重要内容.如何对软......
一、电子政务呼唤电子公文写作电子政务的兴起,是为了适应网络时代社会文化发展的内在需求。去年年初,党和国家领导人在一次会议上......
随着计算机和互联网的普及,对软件的安全性和可靠性要求越来越高。安全软件工程通过在软件开发生命周期的各个阶段增加一系列的针......
软件安全事件的频繁发生引起人们极大关注，对软件的安全性进行准确客观地分析与评估，是软件安全保障的前提和必要条件，本文正是基于此......
随着对网络安全要求的不断提高,软件的安全性成为了人们关注的焦点,如何在开发过程中即关注安全问题,开发出安全的软件已成为软件......
随着计算机硬件平台运算能力的不断提升，计算机软件的规模及复杂度日益增长，同时软件安全性问题也日益突出。如何解决软件安全性，已然......
随着软件在安全性关键系统中的应用规模越来越大、承担的安全性关键指挥控制功能越来越多,安全性关键的软件密集型系统(SCSIS)已初......
随着计算机系统和计算机软件发展的日新月异，计算机软件已经应用到很多安全关键系统中。一旦这些系统失效将会导致生命财产的重大损......
从上个世纪80年代以来，随着软件开发和软件工程的不断发展，越来越复杂的软件被引用到越来越多的领域。这使人们不得不开始考虑这些不......
随着国家的智能电网建设越来越深入，以嵌入式软件为核心的各类智能设备越来越多地应用在电力的发、输、变、配、用等各个环节。它的......
软件安全性是软件的一种质量属性,是通过对软件安全性的设计和分析而形成的.当前,软件工程化水平还不能完全满足型号安全性的需要.......
软件安全性评估模型对于软件安全性工作具有重要意义。本文将层次分析方法运用于软件安全性评估模型的建立，并在模型基础上提出一种......
由于故障树分析方法在可靠性分析中存在局限性，研究贝叶斯网络在可靠性分析中的应用，给出了故障树向贝叶斯网络转化的方法，以及基于贝......
可靠性和安全性是软件质量中的重要属性。虽然文献[3—7]，都从不同的角度给出了二者之间的区别和联系，但对这两者之间关系的认识是不......
针对软件安全性问题，提出一种新的软件安全性分析方法。首先探索将软件组件AADL错误模型转化为马尔科夫链模型，计算组件处于不同危害......
在改进体系结构权衡分析法的基础上，提出了一种以安全性为中心的IMA软件体系结构设计方法。利用危险场景评价IMA软件体系结构的安全......
软件安全性评估的目的是评价软件是否达到系统所要求的安全性，对于保证和确认软件的安全性具有非常重要的意义。阐述了安全性评估方......
本文在介绍软件可靠性及安全性的基础上，讨论软件可靠性测试的特点、进行软件可靠性测试的基本条件，以及软件安全性测试的必要条件和......
可编程器件在新型引信中的应用,使得软件安全性成为影响整个引信系统安全性的重要因素,软件失效后可能通过软硬件界面使硬件发生误......
装备软件安全性评测实践中，迫切需要一种舍理有效可量化的评测模型指导装备软件评测工作。基于状态的随机模型方法，可以对装备软件进......
近年来,应用软件安全性评价方法逐渐成为业内相关人士的关注和研究重点,国外一些企业内部设立了专门从事基于企业软件产品的应用软......
随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,......
软件安全性是保障系统安全性的重要条件。该文首先介绍了软件安全性的主要内容,描述了几种常用的软件安全性分析技术,针对航空系统......
控制软件往往是安全攸关系统的核心,其正确性对系统安全起着至关重要的作用。然而由于系统面对的环境因素越来越复杂,软件设计之初......
从航天工程应用的角度介绍了国外软件可靠性安全性技术应用发展趋势，结合作者在实时嵌入式软件可靠性测试与安全性分析方面的实践进......
目前，在C语言软件潜在分析的过程中，往往忽略了对缺陷过程的管理，同时缺陷分析工作进展缓慢。针对上述问题，设计并开发了基于C语言的软......
采用软件故障树分析法,通过一个应用桥接模式的实例研究在软件设计中引入设计模式对软件安全性的影响。结果表明,单纯引入桥接模式......
一次又一次,安全被认为是组织进行移动应用程序开发项目的关键问题。TechTarget有限公司2012年进行了一次调查发现,设备数据泄露和......
纵观当前国内智能管理系统的研发和建设,其已经取得十分突出的成果,尤其在控制方面,成功利用道闸系统软件来进行升降管理、计时收......
随着智能手机的不断普及，Android平台上的软件安全性越来越受到重视。以其他平台中应用最普遍且效果最好的代码混淆技术为基础，对比......
安全性测试是雷达软件测试的重点和难点，针对当前雷达安全性测试所面临的主要问题，从软件安全性测试的需求分析、测试设计和测试环境......
介绍了软件安全性和基于Petri网软件安全性分析技术.结合某导弹安全系统的实例,在系统Petri网模型的基础上运用逆向可达图回溯法及......
安全性苛求系统由于其行为直接关系人身和大宗财产的安全,需要有一个安全性定量指标来反映系统中计算机软件的安全性品质.由于安全......
地（舰）空导弹发控系统作为导弹发射控制过程的核心装备,安全性是一个非常重要的质量特性。分析了发控系统存在的典型危险源,从系统总......
评估软件安全性常用的方法有风险评估和基于可靠性模型的评估。基于上述二种方法提出了残留风险分级评估方法。该方法用失效强度和......
摘要：对于雷达软件测试来说，安全性测试是其中的难点和关键。目前，我国雷达软件的安全性测试仍存在一些问题，本文在此背景下，从需求分析......
安全是铁路运输生产永恒的主题。联锁软件是保障铁路车站列车或机车(以下简称列机车)作业安全的关键软件,充分的测试对于保证其安......
在航天、军事等领域中,硬件功能软件化、软件密集化已成为发展趋势。软件作为系统中的关键组成部分,其对系统的影响比重日益增大,......
针对武器系统控制软件的安全性问题,在强调控制软件特殊安全性的基础上,介绍了武器系统控制软件在设计上需要遵循的几个基本原则以......
通过比较国内外C／C＋＋源代码安全检测技术的发展状况，阐述了研制C／C＋＋源代码安全检测系统的必要性。讨论了C／C＋＋源代码安全检测领域的关键技术......
确保程序中没有运行时错误，对于软件安全性的保证十分重要。基于抽象解释的静态分析方法对程序语义进行抽象，是验证运行时错误最合适......
软件研制管理是关系软件质量的重要工作。某型飞机在飞行中导航数据频繁丢失,严重威胁飞机的飞行安全,通过对软件进行安全性分析对......
系统介绍了近年来机器学习技术在软件测试领域的应用和发展概况。首先通过筛选对多篇文献的研究主题进行了分类,讨论了每个分类的......
