软件的可信计算环境的构造、建模和算法研究
基本信息
批准号：90718006
项目类别：重大研究计划
资助金额：50.00
负责人：王丽娜
学科分类：
依托单位：武汉大学
批准年份：2007
结题年份：2010
起止时间：2008-01-01 - 2010-12-01
项目状态： 已结题
项目参与者：贾小华,罗敏,张俊,余荣威,熊琦,郭迟,杨墨,王李健,刘浩
关键词：
可信计算环境安全协信任模型可信连接扩展网络行为可靠性
结项摘要
在软件网络化的背景下，构建可信的软件网络环境就必须保证网络的接入行为是可控的、网络实体的信任程度是可验证和度量的、网络的传输行为是可靠的以及软件的交互行为是保密及真实的。为此，本项目重点展开面向软件可信环境构造的可信连接扩展方法、网络传输行为可靠性以及可信协议的设计与证明方法三方面的基础科学问题与关键理论研究。针对当前的网络软件分别处于可信计算平台和非可信计算平台这一混合网络的现实，本项目研究网络
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
一种基于多层设计空间缩减策略的近似高维优化方法
一种基于多层设计空间缩减策略的近似高维优化方法
DOI：10.1051/jnwpu/20213920292
发表时间：2021
2
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
基于文献计量学和社会网络分析的国内高血压病中医学术团队研究
DOI：10.11842/wst.20190724002
发表时间：2020
3
二维FM系统的同时故障检测与控制
二维FM系统的同时故障检测与控制
DOI：10.16383/j.aas.c180673
发表时间：2021
4
扶贫资源输入对贫困地区分配公平的影响
扶贫资源输入对贫困地区分配公平的影响
DOI：
发表时间：2020
5
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
二叠纪末生物大灭绝后Skolithos遗迹化石的古环境意义:以豫西和尚沟组为例
DOI：10.7605/gdlxb.2022.03.033
发表时间：2022
王丽娜的其他基金
批准号：60970114
批准年份：2009
资助金额：32.00
项目类别：面上项目
批准号：61373169
批准年份：2013
资助金额：73.00
项目类别：面上项目
批准号：61876134
批准年份：2018
资助金额：67.00
项目类别：面上项目
批准号：81502622
批准年份：2015
资助金额：18.00
项目类别：青年科学基金项目
批准号：31672464
批准年份：2016
资助金额：62.00
项目类别：面上项目
批准号：20806078
批准年份：2008
资助金额：18.00
项目类别：青年科学基金项目
批准号：21501106
批准年份：2015
资助金额：20.00
项目类别：青年科学基金项目
批准号：81800182
批准年份：2018
资助金额：21.00
项目类别：青年科学基金项目
批准号：31401894
批准年份：2014
资助金额：22.00
项目类别：青年科学基金项目
批准号：81702538
批准年份：2017
资助金额：20.00
项目类别：青年科学基金项目
批准号：81300376
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：11501016
批准年份：2015
资助金额：18.00
项目类别：青年科学基金项目
批准号：51374191
批准年份：2013
资助金额：82.00
项目类别：面上项目
批准号：60473023
批准年份：2004
资助金额：5.00
项目类别：面上项目
批准号：71704053
批准年份：2017
资助金额：19.00
项目类别：青年科学基金项目
批准号：60872046
批准年份：2008
资助金额：32.00
项目类别：面上项目
批准号：21603030
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：31800565
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：31101780
批准年份：2011
资助金额：25.00
项目类别：青年科学基金项目
批准号：81100163
批准年份：2011
资助金额：23.00
项目类别：青年科学基金项目
批准号：U1836112
批准年份：2018
资助金额：65.00
项目类别：联合基金项目
批准号：51308216
批准年份：2013
资助金额：25.00
项目类别：青年科学基金项目
批准号：31901400
批准年份：2019
资助金额：24.00
项目类别：青年科学基金项目
批准号：81303112
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：61701020
批准年份：2017
资助金额：28.00
项目类别：青年科学基金项目
批准号：60743003
批准年份：2007
资助金额：8.00
项目类别：专项基金项目
批准号：51004091
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：41802016
批准年份：2018
资助金额：26.00
项目类别：青年科学基金项目
批准号：21506170
批准年份：2015
资助金额：21.00
项目类别：青年科学基金项目
批准号：81774244
批准年份：2017
资助金额：50.00
项目类别：面上项目
批准号：81471136
批准年份：2014
资助金额：70.00
项目类别：面上项目
批准号：81000479
批准年份：2010
资助金额：20.00
项目类别：青年科学基金项目
批准号：91543120
批准年份：2015
资助金额：74.00
项目类别：重大研究计划
相似国自然基金
1
面向军用可信计算环境的构造及评测试验验证研究
批准号：91018008
批准年份：2010
负责人：张焕国
学科分类：F0203
资助金额：50.00
项目类别：重大研究计划
2
基于虚拟机架构的可信计算环境与可信软件设计
批准号：90718040
批准年份：2007
负责人：孙毓忠
学科分类：F0202
资助金额：250.00
项目类别：重大研究计划
3
对等网络环境下可信计算模型与算法研究
批准号：90818002
批准年份：2008
负责人：曲雯毓
学科分类：F0206
资助金额：50.00
项目类别：重大研究计划
4
实数可信计算理论与算法
批准号：90818011
批准年份：2008
负责人：郑国勤
学科分类：F0209
资助金额：50.00
项目类别：重大研究计划