软件安全性

摘要： 针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性。

摘要： 软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程。通过实例应用,验证了模式对软件安全性需求获取的有效性。

摘要： 随着信息技术的不断发展,软件数量及种类不断增长.软件安全性成为用户应用软件、验收软件及申报软件产品的一项重要内容.如何对软件进行安全性测试成为一项研究课题.本文提出了一种面向需求的软件安全性测试方法.对软件安全性测试用户需求进行了分类讨论,并对相应的软件安全性测试方法进行逐一阐述.本文工作丰富了软件安全性测试方法,具有一定应用实践价值.

摘要： 软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础.基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取.给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程.通过实例应用,验证了模式对软件安全性需求获取的有效性.

摘要： 针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的 是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性.最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性.

摘要： 目前基于机器学习的漏洞自动化分类存在特征提取困难,而基于深度学习的漏洞自动化分类存在效果不佳的问题。因此,提出一种基于深度神经网络的漏洞自动化分类模型(Word2Vec-CNN),该模型使用Word2Vec方法构建词向量,利用CNN神经网络模型构造自动漏洞分类器,实现有效的漏洞分类。根据美国国家漏洞数据库(NVD)中所记录的漏洞信息,将其用于验证所提出模型的有效性。并将Word2Vec-CNN模型的分类效果与One-hot-CNN模型、One-hot-RNN模型、Word2Vec-RNN模型以及传统的神经网络、贝叶斯算法在准确率、召回率、精度和F1得分几个方面进行比较,Word2Vec-CNN模型具有更好的性能。

摘要： 纵观当前国内智能管理系统的研发和建设,其已经取得十分突出的成果,尤其在控制方面,成功利用道闸系统软件来进行升降管理、计时收费,为各大商场、停车场、住宅小区提供了便利.这一切是基于道闸管理系统软件的应用而实现的,但是在实践中也经常会出现道闸失控等问题,这就要求设计人员建立故障树分析模型对道闸管理系统软件安全性进行分析和调控.

摘要： 以航电控制计算机系统软件体系结构模型为例,从危险、安全策略和安全关键模型3个视图入手,分析了软件安全性的影响因素,提出了一个基于元模型的软件安全性体系结构框架,解决了原有航电控制计算机系统软件体系结构模型对安全性考虑不周之处.

摘要： 随着嵌入式软件系统在汽车、核工业、航空、航天等安全关键领域的广泛应用,其失效将会导致财产的损失、环境的破坏甚至人员的伤亡,使得保障软件安全性成为系统开发过程中的重要部分.传统的安全性分析方法主要应用在软件的需求分析阶段和设计阶段,然而需求与设计之间的鸿沟却一直是软件工程领域的一大难题.正是由于这一鸿沟的存在,使得需求分析阶段的安全性分析结果难以完整而详尽地反映在软件设计中.其根本原因是:当前的软件需求主要通过自然语言描述,存在二义性与模糊性,且难以进行自动化处理.为了解决这一问题,面向构件化嵌入式软件,首先提出了一种半结构化的限定自然语言需求模板用于需求规约,能够有效地降低自然语言需求的二义性与模糊性;然后,为了降低自动化处理的复杂性,采用需求抽象语法图作为中间模型,实现基于限定自然语言需求模板规约的软件需求与AADL模型之间的转换,并在此过程中自动记录两者之间的可追踪关系;最后,基于AADL开源工具OSATE对所提出方法进行了插件实现,并通过航天器导航、制导与控制系统(guidance,navigationand control,简称GNC)进行了实例性验证.

摘要： 在对软件安全性测试技术研究紧迫性介绍的基础上,总结了现有软件安全性测试技术及测试标准研究的进展和局限性,分析了软件安全性测试国内外发展的现状.分别从测试需要的必备条件,测试的类型,测试路径的可追溯性,测试用例的效率,功能化难以度以及行为模型六个方面进行了比较,分析了各种方法的优缺点.最后结合现行测试标准和规范,对现有安全性测试方法的共性问题进行了分析,为下一步研究指出了研究重点.

摘要： 软件安全性评估模型对于软件安全性工作具有重要意义。本文将层次分析方法运用于软件安全性评估模型的建立，并在模型基础上提出一种确认软件安全性改进重点的方法.实践表明，本文所提出的方法操作简便，能在较短时间内找出软件安全性改进重点，对于改进软件安全性可以起到良好效果。

摘要： 在对软件安全性测试技术研究紧迫性介绍的基础上,分析了现有软件安全性测试技术中存在的三个亟待解决的实际问题,分别涉及到现行测试标准的可行性,安全性测试需求的确定性,以及安全性测试过程.其次,针对现有的问题,结合已有的统计分析结果,提出了一种基于软件安全性缺陷的测试方法,并对其中涉及到的关键技术进行了分析,该方法较好的解决以上问题.最后,对基于软件安全性缺陷的测试技术进行了展望.

摘要： 在舰载作战系统中,安全性是软件质量的决定性因素。文章以残留故障数作为软件安全性测评指标,确定了测评原则;在Schneidewind模型基础上推导出软件安全性测评公式,并阐述了公式的内涵;而且将结果应用于实际案例中,对软件的安全性做出正确的评价。

摘要： 介绍了软件安全性的概念和可能导致软件安全性问题的原因,阐述了软件安全性需求分析的目的、对象与特点,总结了软件安全性需求分析的基本策略和常用方法,并结合工程应用情况,归纳技术应用的实施要点和注意事项。

摘要： 软件安全性分析是保证型号系统安全性的重要手段。本文简述了软件安全性分析的目的、特点和分析程序,并以载人运载火箭故障检测处理软件安全性分析为切入点,阐述了软件安全性分析实施的技术要点和注意事项。

摘要： 随着软件系统复杂度的不断增长,特别是软件在航天等尖端领域的应用,使得软件的安全性保障成为迫切需要解决的问题.传统的软件工程方法由于技术手段和应用对象的不一致而难以解决软件安全性问题.针对高安全软件,技术手段必须从系统各类功能状态和相互作用关系来考虑其安全性问题,遍历各种可能的输入或状态跃迁关系,分析出安全关键性的软件成分和可能风险.本文调研总结了各类形式化验证方法,在技术方法上提出以轻量级形式化方法进行模型安全性验证的工程实施途径,进一步的,进行了典型安全关键性软件的形式化验证,结论有效验证了本文所设计方案的可行性.

摘要： 本文应用模型检验方法对软件进行验证要解决软件的无穷状态空间问题，提出的谓词抽象方法将软件无穷的状态空间抽象为基于一组谓词表示的有限状态自动机，抽象过程使用最弱前置条件和定理证明工具直接对软件源代码自动进行，并能保证如果待验证的安全性质在抽象模型中满足，则其在程序中也满足。谓词抽象的精度取决于所选用的谓词集合，验证过程使用了基于反例的抽象精化思想，利用验证产生的伪反例路径推断出新的谓词不断精化模型，从而可以全自动地完成对程序安全性质的验证。

摘要： 随着科学技术迅速的发展,各个行业都在快速迈进,尤其是现代化、信息化以及智能化发展的步伐更为显著.其信息化的进展和提升,在不同程度上对计量的发展带来了新的生机.计量检测机构通过对计量的信息化管理,不仅提升了彼此之间的监测数据的公开性、可靠性以及权威性,而且也切实加强了相互的核心竞争力.基于此,本文主要从建立、健全规范的信息化管理机制、提高人员的综合素质、提高软件系统安全性能等几个方面对新时期的计量信息化管理做出相应的论述,以供大家参考.

摘要： 随着科学技术迅速的发展,各个行业都在快速迈进,尤其是现代化、信息化以及智能化发展的步伐更为显著.其信息化的进展和提升,在不同程度上对计量的发展带来了新的生机.计量检测机构通过对计量的信息化管理,不仅提升了彼此之间的监测数据的公开性、可靠性以及权威性,而且也切实加强了相互的核心竞争力.基于此,本文主要从建立、健全规范的信息化管理机制、提高人员的综合素质、提高软件系统安全性能等几个方面对新时期的计量信息化管理做出相应的论述,以供大家参考.

摘要： 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法，包括：针对每个子系统，根据子系统中需要进行安全性分析的需求开发模块，在计算机终端中建立对应的安全性分析模块；根据从数据库输入的功能性信息以及设计决策信息，对该子系统的系统软件或者特定软件进行安全性分析，生成危害分析模型；将软件安全性功能需求以及相应的设计决策输出给需求开发模块和设计开发模块，形成新的需求开发模块和设计开发模块。本发明建立一个适合多机构协同开发安全关键系统时，信息接口的设计；参照安全相关标准构建系统危害分析领域模型模板，以系统化和结构化方式支持安全分析人员分析系统危害和捕捉特定软件安全性需求。

摘要： 一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。

摘要： 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA、FHA和FMEA分析结果进行独立和交叉检查的详细过程和检查策略，能有效识别机载嵌入式软件安全性分析工作各阶段产品中存在的缺陷和不足，既可用于提升机载嵌入式软件安全性分析工作项目的质量和效率，也可用于软件安全性分析工作项目的验收和评价，有效解决了当前机载嵌入式软件安全性分析中工作效果人为影响因素过大、充分性有效性难以保证的问题，为机载嵌入式软件达到高安全性和质量要求提供技术支撑。

摘要： 本发明涉及一种采用模块安全性分析获取软件安全性需求的方法，包括：针对每个子系统，根据子系统中需要进行安全性分析的需求开发模块，在计算机终端中建立对应的安全性分析模块；根据从数据库输入的功能性信息以及设计决策信息，对该子系统的系统软件或者特定软件进行安全性分析，生成危害分析模型；将软件安全性功能需求以及相应的设计决策输出给需求开发模块和设计开发模块，形成新的需求开发模块和设计开发模块。本发明建立一个适合多机构协同开发安全关键系统时，信息接口的设计；参照安全相关标准构建系统危害分析领域模型模板，以系统化和结构化方式支持安全分析人员分析系统危害和捕捉特定软件安全性需求。

摘要： 本发明公开了一种基于软件开发过程度量的软件安全性缺陷预测方法及装置。本发明通过构造文件开发者图和项目代码修改图，表达了软件开发过程中开发者活动和代码修改的信息；同时使用图神经网络训练嵌入模型对图结构分别进行嵌入操作，获取其对应的特征向量作为度量元，保留了图结构中的大量信息；将获得的文件开发者度量元和文件修改度量元这两种度量元作为特征，利用缺陷数据库中的数据进行数据标注，训练分类模型，获得最终的预测模型，利用该模型进行安全性缺陷预测，在文件粒度上给出预测结果，且预测准确度高。

摘要： 本发明涉及面向软件安全性bug修复的软件开发者个性化推荐方法。本发明分析安全性和非安全性bug库文本信息，将需要分析的软件bug库与安全性词库进行文本匹配提取软件系统的安全性bug库和相应的软件历史提交信息，确认新的bug是否为软件安全性bug，计算新的安全性bug和软件安全性bug库中所有bug的文本相似度，与所有相关的安全性bug计算文本相似度，找出每位合适的开发者对应的相关安全性bug，推荐个性化参考信息，对合适的软件开发者进行排序，列表最前面的软件开发者即为最合适的软件开发者。本发明克服了过去未考虑开发者修改软件bug的质量因素等缺陷。本发明根据每位开发者的经验找出了与要解决的安全性bug相关的个性化辅助信息供开发人员参考。

摘要： 一种基于STPA的安全关键软件安全性验证方法。其包括对安全关键软件进行STPA分析及形式化规约，得到软件安全约束；采用形式化建模符号将步骤1中得到的软件安全约束转换为模型检测过程所需的安全规约模型，然后，在安全规约模型检测工具中将基于功能需求建立的软件设计模型与安全规约模型中相应的变量进行连接，由此完成对安全关键软件安全性的形式化验证等步骤。本发明效果：解决了传统分析方法很难捕获组件交互和复杂条件下的软件危险行为，以及安全性验证依赖人工的问题。

摘要： 一种安全攸关系统的软件安全性保证的实现方法，(1)定义系统的软件安全设计要求，包括软件需求阶段安全性设计要求、软件设计阶段安全性设计要求、软件编码阶段安全性设计要求、软件测试阶段安全性设计要求；(2)根据软件安全性等级，对(1)中的安全性设计要求进行裁剪，并按各项要求实施软件需求、软件设计、软件编码、软件测试的安全性设计；(3)获取软件安全证据，判断安全证据是否满足(2)中各项安全性设计要求；(4)获取系统的软件安全性风险规避措施；(5)验证软件安全性风险规避措施是否可追踪到软件需求、软件设计、软件编码、软件测试。本发明提升了软件安全性保障能力，填补了航天重大工程软件安全性保证的技术空白。

摘要： 本发明属于计算机技术领域，涉及一种嵌入式软件安全性分析充分性检查方法，尤其涉及一种用于飞机安全性分析充分性检查的方法。本发明首次明确提出从系统和软件双向角度分别对机载嵌入式软件安全性分析工作开展充分性检查，给出了对PHA、FHA和FMEA分析结果进行独立和交叉检查的详细过程和检查策略，能有效识别机载嵌入式软件安全性分析工作各阶段产品中存在的缺陷和不足，既可用于提升机载嵌入式软件安全性分析工作项目的质量和效率，也可用于软件安全性分析工作项目的验收和评价，有效解决了当前机载嵌入式软件安全性分析中工作效果人为影响因素过大、充分性有效性难以保证的问题，为机载嵌入式软件达到高安全性和质量要求提供技术支撑。

摘要： 本发明提供了一种基于SysML的嵌入式软件安全性分析方法，该方法包括：扩展SysML语言的语义，基于扩展SysML语言创建软件模型，对软件静态结构和动态行为进行完整准确描述，通过构建安全性分析规则库，针对软件模型进行软件功能模型分析、功能层次模型分析、软件状态模型分析、SysML多模型图关联分析、系统和软件关联影响分析，验证软件模型是否满足安全性规则，并基于此提出一种嵌入式软件安全性分析系统。本发明解决了系统分析和软件分析两张皮的问题，避免了重复建模，降低了软件建模的工作量，通用性好、易推广、可扩展性强。