期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
6
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于信任扩展的可信虚拟执行环境构建方法研究
被引量:
26
1
作者
王丽娜
高汉军
+2 位作者
余荣威
任正伟
董永峰
《通信学报》
EI
CSCD
北大核心
2011年第9期1-8,共8页
为保护虚拟机运行环境及上层服务软件的完整性、安全性,提出了一种基于信任扩展的可信虚拟执行环境的构建方法。首先,建立物理平台配置寄存器(PCR,platform configuration register)与虚拟PCR的映射关系,以此实现虚拟可信平台模块(vTPM...
为保护虚拟机运行环境及上层服务软件的完整性、安全性,提出了一种基于信任扩展的可信虚拟执行环境的构建方法。首先,建立物理平台配置寄存器(PCR,platform configuration register)与虚拟PCR的映射关系,以此实现虚拟可信平台模块(vTPM)与底层可信计算基的绑定;其次,利用本地vTPM管理器签发证书,完成可信证书链在虚拟机中的延伸。通过物理平台至虚拟平台的信任扩展,虚拟机可以有效地利用TPM提供的相关功能(如远程证明、密封存储等),完成平台环境的证明及私密信息的安全存储,从而构建了可信虚拟执行环境。最后,实现了原型系统并进行了测试,测试结果证明本系统可以有效地实现虚拟平台的密封存储和远程证明等功能。
展开更多
关键词
信任扩展
可信
虚拟执行环境
可信平台模块
密封存储
远程证明
在线阅读
下载PDF
职称材料
基于本地虚拟化技术的安全虚拟执行环境
被引量:
7
2
作者
温研
刘波
王怀民
《计算机工程与科学》
CSCD
2008年第4期1-4,10,共5页
程序隔离执行是一种将非可信代码的执行效果与其他应用隔离的安全机制。但是,目前的相关研究无法兼顾强隔离(即操作系统隔离)与被隔离代码的可用性(需要通过计算环境的重现与提交隔离执行环境的执行效果来完成)。本文提出一种基于本地...
程序隔离执行是一种将非可信代码的执行效果与其他应用隔离的安全机制。但是,目前的相关研究无法兼顾强隔离(即操作系统隔离)与被隔离代码的可用性(需要通过计算环境的重现与提交隔离执行环境的执行效果来完成)。本文提出一种基于本地虚拟化技术的安全虚拟执行环境SVEE,并在Windows下实现了SVEE的原型系统。SVEE借助系统级虚拟化技术有效地实现了SVEE内程序与宿主操作系统的强隔离。SVEE的关键特性是利用本地虚拟化技术实现了宿主机计算环境在SVEE内的重现,使得程序在SVEE中与在宿主操作系统内的执行效果一致。此外,SVEE还支持SVEE与宿主操作系统的差异对比,并利用比较结果选择合适的方法将SVEE内程序的执行效果提交到宿主操作系统。
展开更多
关键词
入侵隔离
隔离
执行
虚拟执行环境
安全
虚拟
机
在线阅读
下载PDF
职称材料
基于协作型VMM的虚拟机执行环境动态配置模型
被引量:
1
3
作者
卢建平
郭玉东
+1 位作者
王晓睿
赵玉春
《计算机应用》
CSCD
北大核心
2012年第3期831-834,共4页
针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构...
针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构(VMCS)中的执行控制域特性,通过为用户提供接口,对虚拟机配置文件进行操作,实现对虚拟机执行环境的实时动态配置。用户利用该模型能够快速构建具有不同运行时特性的虚拟机执行环境。测试结果表明,该模型能够提高VMM的可用性。
展开更多
关键词
虚拟
机监控器(VMM)
VT-x
虚拟
机
执行
环境
动态配置模型
可用性
在线阅读
下载PDF
职称材料
基于本地虚拟化技术的隔离执行模型研究
被引量:
10
4
作者
温研
王怀民
《计算机学报》
EI
CSCD
北大核心
2008年第10期1768-1779,共12页
程序隔离执行是一种将被隔离代码的执行效果与其它应用隔离的安全机制.但是目前的相关研究无法在PC平台下兼顾操作系统隔离与被隔离代码的可用性.针对这个问题,文中提出并实现了一种新的名为SVEE(Safe Virtual Execution Environment)...
程序隔离执行是一种将被隔离代码的执行效果与其它应用隔离的安全机制.但是目前的相关研究无法在PC平台下兼顾操作系统隔离与被隔离代码的可用性.针对这个问题,文中提出并实现了一种新的名为SVEE(Safe Virtual Execution Environment)的隔离执行模型.SVEE具有两个关键特性:一是借助基于本地虚拟化技术的系统级虚拟机(SVEEVM)有效实现了非可信代码与宿主操作系统的隔离;二是利用本地虚拟化技术实现了宿主机计算环境在SVEEVM内的重现,保证了被隔离程序在SVEEVM中与在宿主操作系统内的执行效果的一致性.因此,SVEE在保护了宿主操作系统安全的同时,兼顾了隔离执行代码的可用性.测试证明,对于计算密集型应用SVEE虚拟机的性能达到了本地性能的91.23%~97.88%,具有很好的可用性.
展开更多
关键词
入侵隔离
隔离
执行
虚拟执行环境
安全
虚拟
机
在线阅读
下载PDF
职称材料
应用虚拟化技术研究进展
被引量:
15
5
作者
陈靖
黄聪会
+1 位作者
孙璐
龚水清
《空军工程大学学报(自然科学版)》
CSCD
北大核心
2013年第6期54-58,共5页
应用虚拟化是支撑软件即服务的关键技术。分析并给出了应用虚拟化的定义,探讨了应用虚拟化的优势及研究现状,指出当前应用虚拟化研究主要集中于实现问题,缺乏对应用虚拟化服务质量的研究。从平台依赖性和分布式架构角度将应用虚拟化分...
应用虚拟化是支撑软件即服务的关键技术。分析并给出了应用虚拟化的定义,探讨了应用虚拟化的优势及研究现状,指出当前应用虚拟化研究主要集中于实现问题,缺乏对应用虚拟化服务质量的研究。从平台依赖性和分布式架构角度将应用虚拟化分为同构或异构应用虚拟化以及本地或远程应用虚拟化,详细分析了不同类型应用虚拟化的实现原理,存在的典型应用虚拟化软件及其特点。从评测指标和评估方法角度探讨了应用虚拟化服务质量评估方法。最后,针对应用虚拟化在服务质量方面面临的挑战,提出应用虚拟化的研究趋势。
展开更多
关键词
应用
虚拟
化
软件即服务
虚拟执行环境
性能评测
应用程序流
在线阅读
下载PDF
职称材料
一种可信虚拟平台构建方法的研究和改进
被引量:
14
6
作者
李海威
范博
李文锋
《信息网络安全》
2015年第1期1-5,共5页
为了减小虚拟环境下虚拟可信平台模块(v TPM)实例及系统软件可信计算基(TCB)的大小,同时进一步保护v TPM组件的机密性、完整性和安全性,解决传统虚拟可信计算平台下可信边界难以界定的问题,文章提出了一种新的构建可信虚拟平台的方法和...
为了减小虚拟环境下虚拟可信平台模块(v TPM)实例及系统软件可信计算基(TCB)的大小,同时进一步保护v TPM组件的机密性、完整性和安全性,解决传统虚拟可信计算平台下可信边界难以界定的问题,文章提出了一种新的构建可信虚拟平台的方法和模型。首先,将Xen特权域Domain 0用户空间中弱安全性的域管理工具、v TPM相关组件等放置于可信域Domain T中,以防止来自Domain 0中恶意软件的攻击及内存嗅探,同时作为Xen虚拟层上面的安全服务实施框架,Domain T可以给v TPM的相关组件提供更高级别的安全保护。其次,通过重构Domain 0中拥有特权的管理和控制应用软件,将特权域的用户空间从可信计算基中分离出来,进而减小虚拟可信平台可信计算基的大小。最后,设计并实现了新的基于可信虚拟平台的可信链构建模型。通过与传统可信虚拟平台比较,该系统可以有效实现将虚拟化技术和可信计算技术相融合,并实现在一个物理平台上同时运行多个不同可信级别的操作系统,且保证每个操作系统仍然拥有可信认证等功能。
展开更多
关键词
可信平台模块
可信
虚拟执行环境
可信计算基
可信链
可信域
在线阅读
下载PDF
职称材料
题名
基于信任扩展的可信虚拟执行环境构建方法研究
被引量:
26
1
作者
王丽娜
高汉军
余荣威
任正伟
董永峰
机构
软件工程国家重点实验室
武汉大学计算机学院
出处
《通信学报》
EI
CSCD
北大核心
2011年第9期1-8,共8页
基金
国家自然科学基金资助项目(60970114
61103219)
+1 种基金
国家高技术研究发展计划("863"计划)基金资助项目(2009AA01Z442)
中央高校基本科研业务费专项基金资助项目~~
文摘
为保护虚拟机运行环境及上层服务软件的完整性、安全性,提出了一种基于信任扩展的可信虚拟执行环境的构建方法。首先,建立物理平台配置寄存器(PCR,platform configuration register)与虚拟PCR的映射关系,以此实现虚拟可信平台模块(vTPM)与底层可信计算基的绑定;其次,利用本地vTPM管理器签发证书,完成可信证书链在虚拟机中的延伸。通过物理平台至虚拟平台的信任扩展,虚拟机可以有效地利用TPM提供的相关功能(如远程证明、密封存储等),完成平台环境的证明及私密信息的安全存储,从而构建了可信虚拟执行环境。最后,实现了原型系统并进行了测试,测试结果证明本系统可以有效地实现虚拟平台的密封存储和远程证明等功能。
关键词
信任扩展
可信
虚拟执行环境
可信平台模块
密封存储
远程证明
Keywords
trust extension
trusted virtual execution environment
trusted platform module
sealed storage
remote attestation
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于本地虚拟化技术的安全虚拟执行环境
被引量:
7
2
作者
温研
刘波
王怀民
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2008年第4期1-4,10,共5页
基金
国家973计划资助项目(2005CB321801)
文摘
程序隔离执行是一种将非可信代码的执行效果与其他应用隔离的安全机制。但是,目前的相关研究无法兼顾强隔离(即操作系统隔离)与被隔离代码的可用性(需要通过计算环境的重现与提交隔离执行环境的执行效果来完成)。本文提出一种基于本地虚拟化技术的安全虚拟执行环境SVEE,并在Windows下实现了SVEE的原型系统。SVEE借助系统级虚拟化技术有效地实现了SVEE内程序与宿主操作系统的强隔离。SVEE的关键特性是利用本地虚拟化技术实现了宿主机计算环境在SVEE内的重现,使得程序在SVEE中与在宿主操作系统内的执行效果一致。此外,SVEE还支持SVEE与宿主操作系统的差异对比,并利用比较结果选择合适的方法将SVEE内程序的执行效果提交到宿主操作系统。
关键词
入侵隔离
隔离
执行
虚拟执行环境
安全
虚拟
机
Keywords
intrusion isolation
isolated execution
virtual execution environment
security
virtual machine
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于协作型VMM的虚拟机执行环境动态配置模型
被引量:
1
3
作者
卢建平
郭玉东
王晓睿
赵玉春
机构
信息工程大学信息工程学院
重庆通信学院机动通信系
出处
《计算机应用》
CSCD
北大核心
2012年第3期831-834,共4页
文摘
针对当前各类虚拟机监控器(VMM)在定制虚拟机执行环境过程中灵活性不足、可用性不强方面的问题,提出并设计了一种用户动态配置虚拟机执行环境的模型,并在协作型VMM之上进行了实现。结合Intel VT-x技术的实现机制,充分利用虚拟机控制结构(VMCS)中的执行控制域特性,通过为用户提供接口,对虚拟机配置文件进行操作,实现对虚拟机执行环境的实时动态配置。用户利用该模型能够快速构建具有不同运行时特性的虚拟机执行环境。测试结果表明,该模型能够提高VMM的可用性。
关键词
虚拟
机监控器(VMM)
VT-x
虚拟
机
执行
环境
动态配置模型
可用性
Keywords
Virtual Machine Monitor(VMM)
VT-x
virtual machine execution environment
dynamic configuration model
availability
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于本地虚拟化技术的隔离执行模型研究
被引量:
10
4
作者
温研
王怀民
机构
国防科学技术大学计算机学院
出处
《计算机学报》
EI
CSCD
北大核心
2008年第10期1768-1779,共12页
基金
国家"九七三"重点基础研究发展规划项目基金(2005CB321801)资助
文摘
程序隔离执行是一种将被隔离代码的执行效果与其它应用隔离的安全机制.但是目前的相关研究无法在PC平台下兼顾操作系统隔离与被隔离代码的可用性.针对这个问题,文中提出并实现了一种新的名为SVEE(Safe Virtual Execution Environment)的隔离执行模型.SVEE具有两个关键特性:一是借助基于本地虚拟化技术的系统级虚拟机(SVEEVM)有效实现了非可信代码与宿主操作系统的隔离;二是利用本地虚拟化技术实现了宿主机计算环境在SVEEVM内的重现,保证了被隔离程序在SVEEVM中与在宿主操作系统内的执行效果的一致性.因此,SVEE在保护了宿主操作系统安全的同时,兼顾了隔离执行代码的可用性.测试证明,对于计算密集型应用SVEE虚拟机的性能达到了本地性能的91.23%~97.88%,具有很好的可用性.
关键词
入侵隔离
隔离
执行
虚拟执行环境
安全
虚拟
机
Keywords
intrusion isolation
isolated execution
virtual execution environment
security
virtual machine
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
应用虚拟化技术研究进展
被引量:
15
5
作者
陈靖
黄聪会
孙璐
龚水清
机构
空军工程大学信息与导航学院
出处
《空军工程大学学报(自然科学版)》
CSCD
北大核心
2013年第6期54-58,共5页
基金
国家自然科学基金资助项目(61172083)
文摘
应用虚拟化是支撑软件即服务的关键技术。分析并给出了应用虚拟化的定义,探讨了应用虚拟化的优势及研究现状,指出当前应用虚拟化研究主要集中于实现问题,缺乏对应用虚拟化服务质量的研究。从平台依赖性和分布式架构角度将应用虚拟化分为同构或异构应用虚拟化以及本地或远程应用虚拟化,详细分析了不同类型应用虚拟化的实现原理,存在的典型应用虚拟化软件及其特点。从评测指标和评估方法角度探讨了应用虚拟化服务质量评估方法。最后,针对应用虚拟化在服务质量方面面临的挑战,提出应用虚拟化的研究趋势。
关键词
应用
虚拟
化
软件即服务
虚拟执行环境
性能评测
应用程序流
Keywords
application virtualization
software as a service
virtual execution environment
performance e-valuation
application streaming
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种可信虚拟平台构建方法的研究和改进
被引量:
14
6
作者
李海威
范博
李文锋
机构
公安部第一研究所
北京搜狐新动力信息技术有限公司
出处
《信息网络安全》
2015年第1期1-5,共5页
基金
国家自然科学基金青年基金[61302087
61401038]
文摘
为了减小虚拟环境下虚拟可信平台模块(v TPM)实例及系统软件可信计算基(TCB)的大小,同时进一步保护v TPM组件的机密性、完整性和安全性,解决传统虚拟可信计算平台下可信边界难以界定的问题,文章提出了一种新的构建可信虚拟平台的方法和模型。首先,将Xen特权域Domain 0用户空间中弱安全性的域管理工具、v TPM相关组件等放置于可信域Domain T中,以防止来自Domain 0中恶意软件的攻击及内存嗅探,同时作为Xen虚拟层上面的安全服务实施框架,Domain T可以给v TPM的相关组件提供更高级别的安全保护。其次,通过重构Domain 0中拥有特权的管理和控制应用软件,将特权域的用户空间从可信计算基中分离出来,进而减小虚拟可信平台可信计算基的大小。最后,设计并实现了新的基于可信虚拟平台的可信链构建模型。通过与传统可信虚拟平台比较,该系统可以有效实现将虚拟化技术和可信计算技术相融合,并实现在一个物理平台上同时运行多个不同可信级别的操作系统,且保证每个操作系统仍然拥有可信认证等功能。
关键词
可信平台模块
可信
虚拟执行环境
可信计算基
可信链
可信域
Keywords
trusted platform module
trusted virtual execution environment
trusted computingbase
trusted chain
trusted domain
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于信任扩展的可信虚拟执行环境构建方法研究
王丽娜
高汉军
余荣威
任正伟
董永峰
《通信学报》
EI
CSCD
北大核心
2011
26
在线阅读
下载PDF
职称材料
2
基于本地虚拟化技术的安全虚拟执行环境
温研
刘波
王怀民
《计算机工程与科学》
CSCD
2008
7
在线阅读
下载PDF
职称材料
3
基于协作型VMM的虚拟机执行环境动态配置模型
卢建平
郭玉东
王晓睿
赵玉春
《计算机应用》
CSCD
北大核心
2012
1
在线阅读
下载PDF
职称材料
4
基于本地虚拟化技术的隔离执行模型研究
温研
王怀民
《计算机学报》
EI
CSCD
北大核心
2008
10
在线阅读
下载PDF
职称材料
5
应用虚拟化技术研究进展
陈靖
黄聪会
孙璐
龚水清
《空军工程大学学报(自然科学版)》
CSCD
北大核心
2013
15
在线阅读
下载PDF
职称材料
6
一种可信虚拟平台构建方法的研究和改进
李海威
范博
李文锋
《信息网络安全》
2015
14
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部