期刊文献+

基于软件可信度量的全方位软件运行安全保障体系研究

原文传递
导出
摘要 本文提出了基于软件可信度量的全方位软件运行安全保障体系,通过综合运用静态工具扫描和动态行为监测实现软件的可信度量,并提出了4项软件运行安全的关键技术,包括软件运行动态监测分析、统一融合信任服务、数据全流程防护及全方位立体智能监管服务,以构建全方位、体系化的软件运行安全保障能力。
出处 《保密科学技术》 2022年第11期23-33,共11页 Secrecy Science and Technology
  • 相关文献

参考文献7

二级参考文献167

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2陈洪泉.恶意软件检测中的特征选择问题[J].电子科技大学学报,2009,38(S1):53-56. 被引量:9
  • 3周艳菊,邱莞华,王宗润.供应链风险管理研究进展的综述与分析[J].系统工程,2006,24(3):1-7. 被引量:120
  • 4夏一民,罗军,张民选.基于静态分析的安全漏洞检测技术研究[J].计算机科学,2006,33(10):279-282. 被引量:29
  • 5Storey N R. Safety critical computer systems[M]. Boston: Addison Wesley Longman publishing Co. , Inc. , 1996.
  • 6Levcson N G. The role of software in spacecraft aecidents[J]. Journal of Spacecraft and Rockets, 2004,41 (4):564-575.
  • 7422^nd Test and Evaluation Squadron. Executive summary:air craft accident investigation, F/A-22 S/N 00-4014[EB/OL]. ht tp://www, f-22raptor, com/pdf/af, exsum_f22crash, pdf. 2004- 12- 20.
  • 8Defense Industry Daily. F22 squadron shot down by the International Date Line [ EB/OL]. http://www, defenseindustrydaily. com/f22-squadron shot down by-thc-international-date-line- 03087/,2007-3-1.
  • 9USAF. MIL-STD-1574A- 1979 System safety program for space and missile system[S]. Arlington: Department of Defence, 1979.
  • 10Leveson N G. Software safety: why, what, and how[J]. Computing Surveys, 1986,18(2) : 125-163.

共引文献172

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部