期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
软件安全性分析技术及应用
被引量:
10
下载PDF
职称材料
导出
摘要
软件安全性分析是保证软件质量和安全性的重要手段。本文叙述了软件安全性分析的内涵和特点,并以载人运载火箭故障检测处理软件安全性分析为切入点,阐述了软件安全性分析的技术要点和注意事项。
作者
周新蕾
机构地区
国防科技工业质量与可靠性研究中心
出处
《质量与可靠性》
2005年第3期37-40,共4页
Quality and Reliability
关键词
软件安全性
分析技术
安全性分析
应用
软件质量
处理软件
故障检测
运载火箭
技术要点
切入点
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
63
引证文献
10
二级引证文献
25
同被引文献
63
1
吴文渊,曾振柄.
Petri网系统的可达性分析[J]
.系统仿真学报,2005,17(z1):17-25.
被引量:2
2
刘亮,叶新铭.
安全Petri网位置不变式的一种生成算法[J]
.内蒙古大学学报(自然科学版),2005,36(1):94-99.
被引量:1
3
俞敏雯,曾辉,刘正高.
系统可靠性评估技术发展综述[J]
.质量与可靠性,2005(2):32-35.
被引量:15
4
黄金志,胡健生,廖赟,柴仁文.
基于Petri网的程序缓冲区溢出检测方法[J]
.计算机应用,2005,25(5):1219-1221.
被引量:1
5
魏臻,周霞,鲍红杰,韩进.
基于Petri网的联锁软件安全性测试的研究[J]
.计算机工程与应用,2005,41(17):123-125.
被引量:7
6
龚德泉.
运用FMECA方法提高设计可靠性[J]
.上海航天,1995,12(3):25-29.
被引量:2
7
贾海滨,刘玉存.
武器装备系统可靠性浅析[J]
.机械管理开发,2006,21(1):51-52.
被引量:5
8
吴琨.
浅谈航天应用计算机软件的可靠性与安全性设计[J]
.控制工程(北京),2005(5):117-121.
被引量:2
9
翟正利,吴哲辉,杨扬.
时间Petri网模拟能力的研究[J]
.计算机科学,2006,33(4):234-235.
被引量:5
10
余建军,韩双霞,黄云龙.
软件安全性的静态分析[J]
.计算机工程与设计,2006,27(8):1411-1414.
被引量:5
引证文献
10
1
石剑琛,杨虹.
舰载作战系统软件安全性控制研究[J]
.舰船电子工程,2008,28(8):37-39.
被引量:1
2
周新蕾.
航天系统软件测试的质量控制[J]
.质量与可靠性,2005(6):32-35.
被引量:1
3
周新蕾,刘正高.
航天软件可靠性安全性技术应用发展趋势[J]
.质量与可靠性,2006(3):41-43.
被引量:4
4
王金波,赵光恒,陈蔚薇.
安全关键软件的安全性保障工作研究[J]
.计算机工程与设计,2008,29(5):1072-1075.
被引量:3
5
徐利明,杨海波,张笑.
提高武器装备软件可靠性[J]
.四川兵工学报,2009,30(5):137-139.
被引量:6
6
陈峰,李伟华,房鼎益,陈晓江.
集成安全分析的模型驱动软件开发方法研究[J]
.计算机科学,2009,36(11):165-168.
被引量:2
7
范月科,王宇龙,孙玉武,武伟,杨荫钊.
K(0,1)-TPN方法在三防系统安全性分析应用[J]
.数学的实践与认识,2011,41(10):87-101.
8
何鑫,刘畅,郑军.
软件安全性与可靠性分析技术研究[J]
.计算机测量与控制,2012,20(11):3017-3020.
被引量:7
9
杨亮,任伍杰.
核安全关键软件的验证与确认技术[J]
.计算机光盘软件与应用,2013,16(16):264-264.
10
史亭文,王伟,张成.
航空系统中的软件安全性研究[J]
.电脑知识与技术(过刊),2015,21(4X):51-52 54.
被引量:1
二级引证文献
25
1
朱剑辉,赵庆,蒋坤,孙晶晶,刘胜阳.
空间站锂电池管理软件安全性分析与设计[J]
.上海航天(中英文),2022,39(S02):79-84.
被引量:1
2
谭晓宇,周誌元,马瑞,聂钦博,朱庆华.
火星环绕器GNC计算机的冗余管理软件系统设计[J]
.上海航天(中英文),2022,39(S01):125-132.
3
邓宇金,郑兴业,宋杰.
浅析装备环境适应性与可靠性[J]
.中国机械,2020(21):56-57.
4
范全平.
一种基于飞行器平台的嵌入式软件重构技术[J]
.电子信息对抗技术,2007,22(4):36-40.
被引量:2
5
孙有田,蓝仁恩,彭瑾.
关于军用软件可靠性问题的探讨[J]
.国防技术基础,2011(1):30-34.
被引量:2
6
张合生,金玉红,李杰,盖建宁.
基于FSM和事件驱动的卫星管理软件设计[J]
.计算机工程,2009,35(21):280-282.
被引量:4
7
彭刚锋.
国外机载设备ATS测试软件确认方法浅析[J]
.航空计算技术,2010,40(2):88-90.
被引量:2
8
李娟,汪厚祥,林海涛.
基于STAMP的舰载作战系统软件安全研究[J]
.舰船科学技术,2010,32(9):63-66.
被引量:4
9
邢维艳,张治政,王康相.
靶场测试装备应用软件可靠性模型分析方法研究[J]
.中国科技信息,2011(5):92-94.
10
邢维艳,张治政,张玉伦.
一种适合靶场测试装备应用软件的可靠性评估方法[J]
.四川兵工学报,2011,32(4):137-140.
被引量:1
1
宋晓秋.
软件安全性分析的Petri网方法(续三)[J]
.质量与可靠性,1998(4):39-40.
2
宋晓秋.
软件安全性分析的Petri网方法(续2)[J]
.质量与可靠性,1998(3):36-40.
3
宋晓秋.
软件安全性分析的Petri网方法[J]
.质量与可靠性,1998(1):33-36.
4
周新蕾,刘正高.
航天软件可靠性安全性技术应用发展趋势[J]
.质量与可靠性,2006(3):41-43.
被引量:4
5
史亭文,王伟,张成.
航空系统中的软件安全性研究[J]
.电脑知识与技术(过刊),2015,21(4X):51-52 54.
被引量:1
6
宋晓秋.
软件安全性分析的Petri网方法(续一)[J]
.质量与可靠性,1998(2):38-39.
7
汪映欣,杨坤涛.
浅述软件安全性设计[J]
.舰船标准化工程师,2004,37(1):43-45.
8
何皎,汪厚祥,聂凯.
基于时间Petri网的舰空导弹发射控制软件安全性分析[J]
.计算机与数字工程,2012,40(8):84-86.
被引量:4
9
韩翔宇,石柱.
WL_Net在导弹飞行控制软件安全性分析中的应用[J]
.航天控制,2008,26(2):82-85.
10
郭维.
基于动态验证的可执行程序安全性逆向分析技术[J]
.警察技术,2010(4):26-28.
质量与可靠性
2005年 第3期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部