可信计算目前已经成为计算机学科的一个热点研究领域,软件的可信性作为可信计算的一个分支,也越来越受到重视。为了全面、客观的度量软件产品的可信性,本研究拟以现有可信软件度量科研成果为基础,结合标准化技术,针对可信软件产业发展的自身需求,构建可信软件度量标准体系,完成可信软件度量国家标准的预阶段、立项阶段和起草阶段的工作,为提交和促成国际软件可信性度量标准打下基础,并探索和研究科研成果标准化转化的工作机制。
{{i.achievement_title}}
数据更新时间:2023-05-31
变可信度近似模型及其在复杂装备优化设计中的应用研究进展
基于生态系统服务流视角的生态补偿区域划分与标准核算--以石羊河流域为例
金属锆织构的标准极图计算及分析
外部规制对农户标准化生产遵从行为的影响——以苹果种植户为例
基于参与约束条件的按人头付费支付标准测算
可信软件及服务的度量、评估、认证体系标准研究
可信软件的度量与测试方法研究
基于软件缺陷预测的软件可信性度量方法研究
有限元方法软件环境及标准化技术