可信软件度量的标准研究和标准化

基本信息
批准号:90818006
项目类别:重大研究计划
资助金额:50.00
负责人:袁玉宇
学科分类:
依托单位:北京邮电大学
批准年份:2008
结题年份:2011
起止时间:2009-01-01 - 2011-12-31
项目状态: 已结题
项目参与者:WitoldSuryn,王宝艾,冯惠,张旸旸,杨金翠,张倩,张帆,李阅悦,秦轶翚
关键词:
标准化可信软件度量标准软件度量
结项摘要

可信计算目前已经成为计算机学科的一个热点研究领域,软件的可信性作为可信计算的一个分支,也越来越受到重视。为了全面、客观的度量软件产品的可信性,本研究拟以现有可信软件度量科研成果为基础,结合标准化技术,针对可信软件产业发展的自身需求,构建可信软件度量标准体系,完成可信软件度量国家标准的预阶段、立项阶段和起草阶段的工作,为提交和促成国际软件可信性度量标准打下基础,并探索和研究科研成果标准化转化的工作机制。

项目摘要

项目成果
{{index+1}}

{{i.achievement_title}}

{{i.achievement_title}}

DOI:{{i.doi}}
发表时间:{{i.publish_year}}

暂无此项成果

数据更新时间:2023-05-31

其他相关文献

1

变可信度近似模型及其在复杂装备优化设计中的应用研究进展

变可信度近似模型及其在复杂装备优化设计中的应用研究进展

DOI:10.3901/jme.2020.24.219
发表时间:2020
2

基于生态系统服务流视角的生态补偿区域划分与标准核算--以石羊河流域为例

基于生态系统服务流视角的生态补偿区域划分与标准核算--以石羊河流域为例

DOI:10.12062/cpre.20210117
发表时间:2021
3

金属锆织构的标准极图计算及分析

金属锆织构的标准极图计算及分析

DOI:10.16112/j.cnki.53-1223/n.2019.02.003
发表时间:2019
4

外部规制对农户标准化生产遵从行为的影响——以苹果种植户为例

外部规制对农户标准化生产遵从行为的影响——以苹果种植户为例

DOI:10.13968/j.cnki.1009-9107.2018.02.17
发表时间:2018
5

基于参与约束条件的按人头付费支付标准测算

基于参与约束条件的按人头付费支付标准测算

DOI:10.7664/CHE20190605
发表时间:2019

袁玉宇的其他基金

批准号:60642008
批准年份:2006
资助金额:7.00
项目类别:专项基金项目
批准号:91118002
批准年份:2011
资助金额:300.00
项目类别:重大研究计划

相似国自然基金

1

可信软件及服务的度量、评估、认证体系标准研究

批准号:91118002
批准年份:2011
负责人:袁玉宇
学科分类:F0202
资助金额:300.00
项目类别:重大研究计划
2

可信软件的度量与测试方法研究

批准号:91418202
批准年份:2014
负责人:徐宝文
学科分类:F0203
资助金额:170.00
项目类别:重大研究计划
3

基于软件缺陷预测的软件可信性度量方法研究

批准号:90718024
批准年份:2007
负责人:宋擒豹
学科分类:F0203
资助金额:50.00
项目类别:重大研究计划
4

有限元方法软件环境及标准化技术

批准号:18972068
批准年份:1989
负责人:崔俊芝
学科分类:A0813
资助金额:30.00
项目类别:面上项目