收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

嵌入式机载软件安全性分析标准、方法及工具研究综述

黄志球  徐丙凤  阚双龙  胡军  陈哲  
【摘要】:嵌入式软件在安全关键系统中的应用,使得保障软件安全性成为软件工程领域的研究热点之一.以典型嵌入式软件系统机载软件为基础,对机载软件安全性保障的标准、方法及工具进行综述.首先,对机载软件领域所采用的软件安全性相关的标准进行简介,并给出机载软件安全性分析框架;其次,从机载软件安全性分析框架出发,将机载软件安全性保障方法划分为3个方面,即,机载软件安全需求的提取与规约、面向标准的机载软件开发、机载软件安全需求验证.对这3个方面的现有研究工作以及工业应用进行了综述;然后,针对当前适航标准的要求对机载软件安全性保证过程中软件安全证据的收集方面的研究工作进行了总结;最后,提出机载软件安全性领域存在的挑战和未来的研究方向.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 陈志才;指挥控制系统软件的安全性分析[J];现代防御技术;1998年03期
2 James Murray;;软件安全性怎能留给市场检验[J];每周电脑报;2006年31期
3 宋晓秋;软件安全性分析的Petri网方法(续2)[J];质量与可靠性;1998年03期
4 周新蕾;软件安全性分析技术及应用[J];质量与可靠性;2005年03期
5 ;新书消息[J];质量与可靠性;1995年01期
6 宋征宇;软件的安全性设计与分析[J];质量与可靠性;1999年04期
7 王纬;航天软件安全性[J];质量与可靠性;1992年03期
8 牛爱民;叶东升;;软件安全性技术在工程中的应用[J];计算机工程与设计;2007年20期
9 拓广忠;应用软件安全性探讨[J];计算机安全;2004年04期
10 ;Vista安全经理细数三大安全亮点[J];计算机安全;2007年02期
11 胡海华;;面向软件安全的软件工程课程设计[J];井冈山学院学报(自然科学版);2007年05期
12 苑立娟;张育玉;;基于模糊测试的软件安全性测试框架的研究与设计[J];煤炭技术;2010年08期
13 石剑琛;杨虹;;舰载作战系统软件安全性控制研究[J];舰船电子工程;2008年08期
14 李国旗;陆民燕;刘斌;;基于SFTA的桥接模式安全性分析[J];计算机工程;2009年24期
15 樊林波;吴映程;赵明;代碧锋;;软件可靠性与安全性的区别分析及其证明[J];计算机科学;2008年09期
16 宋晓秋;软件安全性分析的Petri网方法(续三)[J];质量与可靠性;1998年04期
17 李承;;软件漏洞市场研究[J];商场现代化;2010年09期
18 金英;刘鑫;张晶;;软件安全需求获取方法的研究[J];计算机科学;2011年05期
19 毕芳芳;;可执行可信软件安全性分析技术[J];中小学电教(下);2011年05期
20 江雷;朱建平;;面向等级保护的软件安全需求分析方法研究[J];信息网络安全;2011年09期
中国重要会议论文全文数据库 前4条
1 韩颖;贾辉然;杜静;;航天软件可靠性的发展[A];2007年河北省电子学会、河北省计算机学会、河北省自动化学会、河北省人工智能学会、河北省计算机辅助设计研究会、河北省软件行业协会联合学术年会论文集[C];2007年
2 韩江洪;刘征宇;刘晓平;唐昊;张建军;;工业控制安全研究综述[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(上册)[C];2009年
3 吴舒平;张玉清;;漏洞库发展现状的研究及启示[A];全国计算机安全学术交流会论文集·第二十五卷[C];2010年
4 陈蓓峰;;城市公用照明事业管理中的信息化应用[A];信息让生活更美好——江苏省通信行业信息化案例选编[C];2010年
中国博士学位论文全文数据库 前2条
1 王金波;安全关键软件的测试与评估过程模型研究[D];中国科学院研究生院(空间科学与应用研究中心);2008年
2 樊林波;软件可靠性与安全性的相互关系及其转换规律研究[D];贵州大学;2009年
中国硕士学位论文全文数据库 前10条
1 姜超;面向体系结构的软件安全性需求开发方法研究[D];长春理工大学;2011年
2 睢辰萌;基于漏洞分析的软件安全性评估系统研究[D];北京交通大学;2013年
3 王乐;基于Coq的软件安全性验证研究与实现[D];西安电子科技大学;2014年
4 李柏岚;iOS平台的软件安全性分析[D];上海交通大学;2011年
5 吴智;软件可靠性与安全性理论模型及应用[D];贵州大学;2006年
6 申光耀;软件安全性保障框架及安全性技术应用[D];北京信息控制研究所;2005年
7 庞东明;应答器报文编制与管理软件的研究[D];北京交通大学;2008年
8 陈永;软件可靠性与安全性增长模型理论及应用[D];贵州大学;2008年
9 马文姣;航天型号软件的安全性测试技术研究[D];哈尔滨工业大学;2007年
10 雷富兴;基于Hoare逻辑的软件形式化验证技术研究[D];解放军信息工程大学;2010年
中国重要报纸全文数据库 前10条
1 山东 张晓华;在线验证破解软件安全性[N];电脑报;2010年
2 记者 毛磊;过分复杂,是最大缺陷[N];新华每日电讯;2003年
3 本版文章由 杨虹 伍宣 李威 沈利斌 游本凤整理;精雕细刻铸神箭[N];中国航天报;2003年
4 本报记者 潘永花;承诺 “坚不可摧”的理由[N];网络世界;2003年
5 本报记者 陈健健;互联互通与安全是即时通信发展两大掣肘[N];通信信息报;2004年
6 白五;中关村:风雨初歇现彩虹[N];电脑报;2003年
7 本报记者 过团木;安全问题是即时通信所不容忽视的[N];通信信息报;2004年
8 秦岩;他山之石可以攻玉[N];科技日报;2003年
9 徐国强 黄涛;有关网络战问题的澄清[N];解放军报;2003年
10 ;政府采购对电子政务软件市场的影响[N];中国高新技术产业导报;2004年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978