|国家科技期刊平台
| 注册
首页|期刊导航|空间控制技术与应用|面向源代码可信证据的航天软件可信度量评估方法

面向源代码可信证据的航天软件可信度量评估方法

刘晗 陶红伟 陈仪香

空间控制技术与应用2021，Vol.47Issue(2)：32-41,10.
✕
空间控制技术与应用2021，Vol.47Issue(2)：32-41,10.

面向源代码可信证据的航天软件可信度量评估方法

An Approach for Trustworthy Evidence of Source Code Oriented Aerospace Software Trustworthiness Measurement

刘晗 1陶红伟 2陈仪香1

作者信息

  • 1. 华东师范大学软件工程学院,教育部软硬件协同设计技术与应用工程研究中心,上海200062
  • 2. 郑州轻工业大学计算机与通信工程学院,郑州450002
  • 折叠

摘要

关键词

源代码/可信证据/可信软件/可信性度量/软件分级

分类

信息技术与安全科学

引用本文复制引用

刘晗,陶红伟,陈仪香..面向源代码可信证据的航天软件可信度量评估方法[J].空间控制技术与应用,2021,47(2):32-41,10.

基金项目

国家重点研发项目(2018YFB2101300)和河南省重点研发与推广专项(科技攻关)资助项目(212102210076,202102210351) （2018YFB2101300）

空间控制技术与应用

OA北大核心CSCDCSTPCD

1674-1579

访问量0
|
下载量0
段落导航相关论文