软件安全性
软件安全性的相关文献在1994年到2022年内共计185篇,主要集中在自动化技术、计算机技术、参考工具书、航空
等领域,其中期刊论文111篇、会议论文16篇、专利文献837036篇;相关期刊80种,包括商情、沈阳工业大学学报、质量与可靠性等;
相关会议16种,包括2010国防空天信息技术前沿论坛、2010年亚太青年通信与技术学术会议、第三届信息安全漏洞分析与风险评估大会等;软件安全性的相关文献由381位作者贡献,包括封二强、陆民燕、刘斌等。
软件安全性—发文量
专利文献>
论文:837036篇
占比:99.98%
总计:837163篇
软件安全性
-研究学者
- 封二强
- 陆民燕
- 刘斌
- 周新蕾
- 钟德明
- 李雪飞
- 蔡玉华
- 曾福萍
- 李海峰
- 李震
- 殷永峰
- 褚文奎
- 刘畅
- 周汉清
- 孙小兵
- 张凤鸣
- 徐仁佐
- 徐锋
- 李娟
- 李斌
- 杨虹
- 经小川
- 郑军
- 陈智勇
- 于华章
- 于沛
- 何建安
- 何迅
- 刘丽媛
- 刘宇波
- 刘灿
- 初振华
- 单纯
- 危胜军
- 吉瑞沙·师瓦林加帕·瑞瓦帝加
- 吕建
- 吴呈邑
- 吴闽泉
- 周伟祝
- 夏懿航
- 姜开达
- 孙乾
- 孙媛
- 孙肖
- 尤龙
- 庞涪川
- 张伟
- 张刚
- 张大帅
- 张思聪
-
-
李雪飞;
封二强
-
-
摘要:
针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性。最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性。
-
-
李雪飞;
封二强
-
-
摘要:
软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础。基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取。给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程。通过实例应用,验证了模式对软件安全性需求获取的有效性。
-
-
叶婷;
曾幸钦;
刘惠玲;
叶海萍;
曾灶烟;
曾炽强;
孙培高;
李树湖
-
-
摘要:
随着信息技术的不断发展,软件数量及种类不断增长.软件安全性成为用户应用软件、验收软件及申报软件产品的一项重要内容.如何对软件进行安全性测试成为一项研究课题.本文提出了一种面向需求的软件安全性测试方法.对软件安全性测试用户需求进行了分类讨论,并对相应的软件安全性测试方法进行逐一阐述.本文工作丰富了软件安全性测试方法,具有一定应用实践价值.
-
-
李雪飞;
封二强
-
-
摘要:
软件安全性是适航性要求中的重要环节,而软件安全性需求的获取是保障软件安全性工作开展的基础.基于模式对软件安全性需求进行有效的组织和描述,能够利用已有经验高效指导软件安全性需求获取.给出了软件安全性需求模式的定义和描述方式,以及软件安全性需求模式的分类和构建流程.通过实例应用,验证了模式对软件安全性需求获取的有效性.
-
-
李雪飞;
封二强
-
-
摘要:
针对安全关键软件提出了一种基于安全性要求的软件安全性测试需求获取方法,包括安全性需求的分类、安全性测试需求的分解和采集,目的 是为得到较为完善的软件安全性测试需求,保证软件安全性测试的充分性.最后,将软件安全性测试需求获取方法应用至某型号发动机数控系统控制软件的安全性测试中,验证了方法的有效性.
-
-
刘烊侨;
杨频;
王炎
-
-
摘要:
目前基于机器学习的漏洞自动化分类存在特征提取困难,而基于深度学习的漏洞自动化分类存在效果不佳的问题。因此,提出一种基于深度神经网络的漏洞自动化分类模型(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)进行了实例性验证.
-
-
惠战伟;
黄松;
刘晓明;
胡斌
- 《第三届信息安全漏洞分析与风险评估大会》
| 2010年
-
摘要:
在对软件安全性测试技术研究紧迫性介绍的基础上,总结了现有软件安全性测试技术及测试标准研究的进展和局限性,分析了软件安全性测试国内外发展的现状.分别从测试需要的必备条件,测试的类型,测试路径的可追溯性,测试用例的效率,功能化难以度以及行为模型六个方面进行了比较,分析了各种方法的优缺点.最后结合现行测试标准和规范,对现有安全性测试方法的共性问题进行了分析,为下一步研究指出了研究重点.
-
-
-
惠战伟;
黄松;
胡斌;
饶莉萍;
王新刚
- 《2010年亚太青年通信与技术学术会议》
| 2010年
-
摘要:
在对软件安全性测试技术研究紧迫性介绍的基础上,分析了现有软件安全性测试技术中存在的三个亟待解决的实际问题,分别涉及到现行测试标准的可行性,安全性测试需求的确定性,以及安全性测试过程.其次,针对现有的问题,结合已有的统计分析结果,提出了一种基于软件安全性缺陷的测试方法,并对其中涉及到的关键技术进行了分析,该方法较好的解决以上问题.最后,对基于软件安全性缺陷的测试技术进行了展望.
-
-
李娟;
汪厚祥;
杨虹
- 《武器装备综合保障信息化技术研讨会》
| 2009年
-
摘要:
在舰载作战系统中,安全性是软件质量的决定性因素。文章以残留故障数作为软件安全性测评指标,确定了测评原则;在Schneidewind模型基础上推导出软件安全性测评公式,并阐述了公式的内涵;而且将结果应用于实际案例中,对软件的安全性做出正确的评价。
-
-
林佳;
周新蕾
- 《第二届中国航天质量论坛》
| 2008年
-
摘要:
介绍了软件安全性的概念和可能导致软件安全性问题的原因,阐述了软件安全性需求分析的目的、对象与特点,总结了软件安全性需求分析的基本策略和常用方法,并结合工程应用情况,归纳技术应用的实施要点和注意事项。
-
-
-
经小川;
张刚
- 《全国软件测试能力验证总结会暨中国宇航学会计算机应用专业委员会2006年学术年会》
| 2006年
-
摘要:
随着软件系统复杂度的不断增长,特别是软件在航天等尖端领域的应用,使得软件的安全性保障成为迫切需要解决的问题.传统的软件工程方法由于技术手段和应用对象的不一致而难以解决软件安全性问题.针对高安全软件,技术手段必须从系统各类功能状态和相互作用关系来考虑其安全性问题,遍历各种可能的输入或状态跃迁关系,分析出安全关键性的软件成分和可能风险.本文调研总结了各类形式化验证方法,在技术方法上提出以轻量级形式化方法进行模型安全性验证的工程实施途径,进一步的,进行了典型安全关键性软件的形式化验证,结论有效验证了本文所设计方案的可行性.
-
-
-
张进
- 《2017计量测试技术学术交流会》
| 2017年
-
摘要:
随着科学技术迅速的发展,各个行业都在快速迈进,尤其是现代化、信息化以及智能化发展的步伐更为显著.其信息化的进展和提升,在不同程度上对计量的发展带来了新的生机.计量检测机构通过对计量的信息化管理,不仅提升了彼此之间的监测数据的公开性、可靠性以及权威性,而且也切实加强了相互的核心竞争力.基于此,本文主要从建立、健全规范的信息化管理机制、提高人员的综合素质、提高软件系统安全性能等几个方面对新时期的计量信息化管理做出相应的论述,以供大家参考.
-
-
张进
- 《2017计量测试技术学术交流会》
| 2017年
-
摘要:
随着科学技术迅速的发展,各个行业都在快速迈进,尤其是现代化、信息化以及智能化发展的步伐更为显著.其信息化的进展和提升,在不同程度上对计量的发展带来了新的生机.计量检测机构通过对计量的信息化管理,不仅提升了彼此之间的监测数据的公开性、可靠性以及权威性,而且也切实加强了相互的核心竞争力.基于此,本文主要从建立、健全规范的信息化管理机制、提高人员的综合素质、提高软件系统安全性能等几个方面对新时期的计量信息化管理做出相应的论述,以供大家参考.