可信的网络应用软件系统试验验证环境预先研究
基本信息
批准号：91018004
项目类别：重大研究计划
资助金额：50.00
负责人：胡春明
学科分类：
依托单位：北京航空航天大学
批准年份：2010
结题年份：2011
起止时间：2011-01-01 - 2011-12-31
项目状态： 已结题
项目参与者：郭长国,沃天宇,李建欣,孙海龙,李先贤,王怀民,怀进鹏
关键词：
行为监控网络化软件虚拟化可信软件验证环境
结项摘要
随着互联网技术和应用规模发展，网络化软件逐渐向集中运营服务模式演进，如何实现网络化软件的可信属性描述、软件可信集成、环境行为可信监控与运行可信保障已经成为网络化软件可信运行所面临的核心科学问题。本项目将围绕"可信的网络应用软件系统试验验证环境"项目的集成性研究需求，面向电子商务、云计算等新兴互联网应用模式，以"核高基"、"中国云"等国家重大科技与工程任务为载体，充分借鉴和吸收基金委"可信基础软件"已有研究成果，开展网络化软件可信性建模与度量方法、网络化软件的可信集成机制、网络化软件试验验证环境的可信追溯和可信确保技术等的预先研究，最终形成可信的网络应用软件系统试验验证环境实施方案与技术原型，通过Web Hosting等典型电子商务场景进行初步应用验证，为下一阶段本重大研究计划研制开发可信的网络应用软件系统的试验验证环境的实际成效奠定基础。
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于国产化替代环境下高校计算机教学的研究
基于国产化替代环境下高校计算机教学的研究
DOI：
发表时间：
2
基于综合治理和水文模型的广西县域石漠化小流域区划研究
基于综合治理和水文模型的广西县域石漠化小流域区划研究
DOI：10.14050/j.cnki.1672-9250.2017.02.014
发表时间：2017
3
非牛顿流体剪切稀化特性的分子动力学模拟
非牛顿流体剪切稀化特性的分子动力学模拟
DOI：10.7498/aps.70.20202116
发表时间：2021
4
中国出口经济收益及出口外资渗透率分析--基于国民收入视角
中国出口经济收益及出口外资渗透率分析--基于国民收入视角
DOI：10.12011/setp2020-2080
发表时间：2022
5
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
DOI：10.7605/gdlxb.2022.03.033
发表时间：2022
胡春明的其他基金
批准号：51476112
批准年份：2014
资助金额：80.00
项目类别：面上项目
批准号：61170294
批准年份：2011
资助金额：55.00
项目类别：面上项目
批准号：60703056
批准年份：2007
资助金额：21.00
项目类别：青年科学基金项目
批准号：11875107
批准年份：2018
资助金额：66.00
项目类别：面上项目
相似国自然基金
1
面向领域的可信嵌入式软件系统试验验证环境研究
批准号：91018015
批准年份：2010
负责人：顾明
学科分类：F0201
资助金额：50.00
项目类别：重大研究计划
2
高可信嵌入式软件系统典型案例研究及试验验证环境设计
批准号：91018001
批准年份：2010
负责人：蔡开元
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
3
基于行为认证的电子银行可信软件验证试验环境研究
批准号：90818023
批准年份：2008
负责人：蒋昌俊
学科分类：F0202
资助金额：260.00
项目类别：重大研究计划
4
可信电子税务网络发票系统试验环境及其实证研究
批准号：91018011
批准年份：2010
负责人：郑庆华
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划