项目名称: 基于轻量虚拟化可信基的可信计算环境构建机制研究

项目编号: No.61202397

项目类型: 青年科学基金项目

立项/批准年度: 2013

项目学科: 计算机科学学科

项目作者: 程戈

作者单位: 湘潭大学

项目金额: 22万元

中文摘要: 诸如航空、航天、金融、证券、医疗、电子政务等关键领域,对软件的可信性提出了迫切需求。虚拟机架构能够实现系统资源的虚拟化并可以隔离软件与硬件、应用软件与底层系统之间的直接依赖关系。通过虚拟化技术与可信硬件平台相结合的方式构建可信计算环境,为解决计算机安全面临的挑战提供了有效的途径。然而,基于虚拟化技术构建可信计算环境还面临着虚拟化开销大、信任链构建、隔离粒度及不可信服务调用等诸多挑战。针对这些问题,本课题拟从4个方面开展研究:1)轻量虚拟化可信基的构建机制:研究解决轻量虚拟化可信基的动态拆装和自适应问题;2)基于轻量虚拟化可信基的动态可信架构:研究解决基于轻量虚拟化可信基的动态信任链构建、完整性保护等问题;3)基于轻量虚拟化可信基的软件行为监控机制:研究解决基于轻量级虚拟化可信基的软件行为监控问题;4)基于轻量级虚拟化的软件可信执行机制,研究解决软件执行过程中的内存隔离、可信服务调用等问题。

中文关键词: 轻量虚拟化;动态可信度量;隔离粒度;可信网络;沙盒

英文摘要: Combination of virtualization technology and trusted hardware platform provides an effective way to solve the challenges of computer security. However, as virtualization is originally motivated and designed for consolidating servers and planning resources, these approaches usually introduce heavy performance overhead caused by virtual machine monitors (VMMs or hypervisors), which manage resource isolation and schedule tasks between VMs. Therefore, even if a user does not need high security environment for every application or for all the execution time a sensitive application, he has to bear the cost and performance overhead of virtualization. Furthermore, the concern of the trustworthiness for general purpose VMMs arises as they have grown both in code size and functional features, which make them like a traditional OS with large TCB. Consequently, similar to commodity OS,VMMs are prone to design and implement vulnerabilities, and therefore their isolation and security functions might be compromised by attacks from guest OS. To solve these problems, this project focuse on the following aspects: 1) how to created and removed the lightweight virtualization layer dynamically during the operating system runtime, and therefore the system does not need to bear the overhead of virtualization when it does not run any

英文关键词: Lightweight Virtual Machine Moniter;ondemand virtualization;fine-grained protection;trusted network;sanbox

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

相关内容

6G物理层AI关键技术白皮书(2022)
专知会员服务
40+阅读 · 2022年3月21日
可信工业数据空间系统架构1.0白皮书,56页pdf
专知会员服务
70+阅读 · 2022年2月3日
专知会员服务
79+阅读 · 2021年7月28日
专知会员服务
23+阅读 · 2021年6月21日
专知会员服务
93+阅读 · 2021年5月17日
面向健康的大数据与人工智能,103页ppt
专知会员服务
105+阅读 · 2020年12月29日
人工智能向“上”生长,可信AI渐行渐近
机器之心
0+阅读 · 2021年12月24日
边缘上的容器化
InfoQ
0+阅读 · 2021年11月29日
【HPC】HPC高性能计算知识: 主要应用场景和软件
产业智能官
21+阅读 · 2019年3月27日
面向云端融合的分布式计算技术研究进展与趋势
中国计算机学会
18+阅读 · 2018年11月27日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
医学知识图谱构建技术与研究进展
人工智能学家
16+阅读 · 2017年11月11日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
Disturbance of questionable publishing to academia
Arxiv
0+阅读 · 2022年4月19日
Arxiv
10+阅读 · 2021年11月10日
Deep Reinforcement Learning: An Overview
Arxiv
17+阅读 · 2018年11月26日
Arxiv
12+阅读 · 2018年1月20日
小贴士
相关VIP内容
6G物理层AI关键技术白皮书(2022)
专知会员服务
40+阅读 · 2022年3月21日
可信工业数据空间系统架构1.0白皮书,56页pdf
专知会员服务
70+阅读 · 2022年2月3日
专知会员服务
79+阅读 · 2021年7月28日
专知会员服务
23+阅读 · 2021年6月21日
专知会员服务
93+阅读 · 2021年5月17日
面向健康的大数据与人工智能,103页ppt
专知会员服务
105+阅读 · 2020年12月29日
相关资讯
人工智能向“上”生长,可信AI渐行渐近
机器之心
0+阅读 · 2021年12月24日
边缘上的容器化
InfoQ
0+阅读 · 2021年11月29日
【HPC】HPC高性能计算知识: 主要应用场景和软件
产业智能官
21+阅读 · 2019年3月27日
面向云端融合的分布式计算技术研究进展与趋势
中国计算机学会
18+阅读 · 2018年11月27日
【大数据】海量数据分析能力形成和大数据关键技术
产业智能官
17+阅读 · 2018年10月29日
医学知识图谱构建技术与研究进展
人工智能学家
16+阅读 · 2017年11月11日
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
1+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
1+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
微信扫码咨询专知VIP会员