以应用安全为核心的可信虚拟监控器安全机制研究-东篱科研大数据发现系统（DRDS）

位置：立项数据库 > 立项详情页

以应用安全为核心的可信虚拟监控器安全机制研究

项目名称：以应用安全为核心的可信虚拟监控器安全机制研究
项目类别：面上项目
批准号：60873238
申请代码：F020705
项目来源：国家自然科学基金
研究期限：2009-01-01-2011-12-31

项目负责人：沈晴霓
负责人职称：副教授
依托单位：北京大学
批准年度：2008

中文摘要：

针对可信虚拟化计算平台的安全需求,本项目重点研究以应用安全为核心的可信虚拟机监控器安全机制。研究内容包括:设计了满足多用户安全需求的平台安全体系结构;建立了基于私密性、完整性保护的远程证实体系,以及机密性和完整性保护安全策略与形式化模型;提出了虚拟机安全迁移协议;给出了可信虚拟机监控器安全关键技术与实现方法;探索了虚拟机监控器系统中的隐蔽通道分析技术。重要成果有:在XEN系统中发现七条隐蔽通道（国际上尚未见有公开报道),首次指出了多核环境下"择核通道"的存在性;提出了基于软件源代码的远程证实框架和可信编译系统结构、基于完整性度量/评估的虚拟机安全迁移协议、基于多边安全的负载均衡机制、基于可信计算的密钥生成、备份和迁移方法,以及基于完整性度量架构的数据封装方法等。本项目共发表学术论文32篇(2篇SCI,24篇EI),包括《中国通信》,《计算机研究与发展》,《通信学报》与ACM CCS,ACSAC,ICICS,NPC,AINA,APSCC等重要期刊和国际会议文章;受理国家专利8项、国际专利4项;登记国家软件著作权3项;培养研究生17人，这些成果为我国新型计算环境安全技术研究奠定了坚实基础。

中文主题词：可信计算;虚拟机监控器;远程证实;安全迁移;隐蔽通道

结论摘要：

英文主题词trusted computing;virtual machine monitor;remote attestation;secure migration;covert channel

成果综合统计