项目名称: 逻辑虚拟域中软件执行的可信确保机制研究

项目编号: No.60973038

项目类型: 面上项目

立项/批准年度: 2010

项目学科: 自动化技术、计算机技术

项目作者: 邹德清

作者单位: 华中科技大学

项目金额: 30万元

中文摘要: 以资源租用、应用托管为特征的云计算有望成为企业/机构应用信息化的主流模式。逻辑虚拟域是由云计算环境中不同服务节点上的多个虚拟机为满足企业/机构分布式应用的资源需求或协作处理需求而组成的动态联合体,也称为"基于虚拟机架构的虚拟组织"。逻辑虚拟域为云计算应用提供了高效执行环境,但如何确保逻辑虚拟域中软件的可信赖服务能力还面临着严峻挑战,如:软件执行是否安全?软件出错能否恢复?软件更新是否合法等。本课题拟研究:1)基于逻辑虚拟域的行为监控机制,解决软件执行过程和用户访问在逻辑虚拟域中的监控问题;2)基于逻辑虚拟域的软件安全控制机制,实现逻辑虚拟域中软件的执行安全及用户访问控制;3)基于逻辑虚拟域的软件故障容忍机制,保证逻辑虚拟域中软件执行的正确性;4)基于逻辑虚拟域的软件可信更新机制,确保软件更新的合法性和高效性。本课题研究形成的理论和方法有助于保障逻辑虚拟域中软件执行的可信性,具有重要意义。

中文关键词: 逻辑虚拟域;安全监控;可信执行环境;安全隔离;故障容忍

英文摘要:

英文关键词: Logical Virtual Domain;Security Monitoring;Trusted Execution Environment;Security Isolation;Fault Tolerance

成为VIP会员查看完整内容
0

相关内容

区块链白皮书,44页pdf
专知会员服务
91+阅读 · 2021年12月30日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
40+阅读 · 2021年9月6日
专知会员服务
79+阅读 · 2021年7月28日
专知会员服务
74+阅读 · 2021年7月24日
【干货书】引擎顺序: 算法技术机制,353页pdf
专知会员服务
42+阅读 · 2021年7月16日
专知会员服务
16+阅读 · 2021年5月13日
【白皮书】“物联网+区块链”应用与发展白皮书-2019
专知会员服务
93+阅读 · 2019年11月13日
服务网格数据面性能深度调优
InfoQ
0+阅读 · 2022年3月14日
区块链白皮书,44页pdf
专知
7+阅读 · 2021年12月30日
软件开发架构模式浅谈:一些思考和实践记录
阿里技术
0+阅读 · 2021年12月14日
区块链数据安全服务综述
专知
2+阅读 · 2021年11月10日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
已删除
将门创投
12+阅读 · 2019年7月1日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Arxiv
0+阅读 · 2022年4月18日
Arxiv
17+阅读 · 2021年1月21日
Arxiv
21+阅读 · 2019年8月21日
Arxiv
12+阅读 · 2018年9月15日
Arxiv
20+阅读 · 2018年1月17日
小贴士
相关VIP内容
区块链白皮书,44页pdf
专知会员服务
91+阅读 · 2021年12月30日
区块链数据安全服务综述
专知会员服务
54+阅读 · 2021年11月10日
专知会员服务
40+阅读 · 2021年9月6日
专知会员服务
79+阅读 · 2021年7月28日
专知会员服务
74+阅读 · 2021年7月24日
【干货书】引擎顺序: 算法技术机制,353页pdf
专知会员服务
42+阅读 · 2021年7月16日
专知会员服务
16+阅读 · 2021年5月13日
【白皮书】“物联网+区块链”应用与发展白皮书-2019
专知会员服务
93+阅读 · 2019年11月13日
相关资讯
服务网格数据面性能深度调优
InfoQ
0+阅读 · 2022年3月14日
区块链白皮书,44页pdf
专知
7+阅读 · 2021年12月30日
软件开发架构模式浅谈:一些思考和实践记录
阿里技术
0+阅读 · 2021年12月14日
区块链数据安全服务综述
专知
2+阅读 · 2021年11月10日
智能合约的形式化验证方法研究综述
专知
15+阅读 · 2021年5月8日
已删除
将门创投
12+阅读 · 2019年7月1日
相关基金
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员