位置：成果数据库 > 期刊 > 期刊详情页
虚拟机环境下并行信任关系研究与实现
  • ISSN号：1001-0548
  • 期刊名称：《电子科技大学学报》
  • 时间：0
  • 分类：TP391.41[自动化与计算机技术—计算机应用技术;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]武汉大学计算机学院,武汉430072, [2]空天信息安全与可信计算教育部重点实验室,武汉430072
  • 相关基金：国家自然科学基金（61173138,61272452,91118003）;国家自然科学基金青年基金（61003268）
作者： 赵波[1,2], 向騻[1,2], 张焕国[1,2], 苏航[1,2]
关键词： 信任链, 并行信任, 可信软件保护代理, 虚拟化, chain of trust, parallel trust structure, TSPA, virtualization
中文摘要：

如何扩展传统信任链中的信任传递关系，构建一个可信虚拟化环境，从而保证虚拟域内软件的可信，是可信计算应用到云计算中去的一个关键。该文结合虚拟化技术的特点，提出了一种适用于虚拟化环境的并行信任结构，实现了将信任从虚拟化平台的信任根传递到虚拟域内的应用软件，该信任结构通过在虚拟监控器中加栽一个可信软件保护代理模块，有效的减小了信任中间节点的复杂程度，提高了系统的可控性和安全性。本文还在该结构的基础上设计了一种虚拟机域内高可信软件保护模型，并进行了部分系统实现。

英文摘要：

A parallel trust structure is proposed to contain application software into its credence coverage. The structure passes trust from the TPM to the applications in virtual domains. Based on this structure, we design and implement a trusted software protection agent （TSPA）, a module in hypervisor, which simplifies the trust complexity and makes trust transfer more controllable and more secure. This paper also contributes a model for protecting software integrity.

同期刊论文项目
虚拟化环境安全缺陷分析及安全性增强方法研究
期刊论文 79 会议论文 3
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
面向高安全等级要求的可信计算平台环境测评方法研究
期刊论文 39
可信软件构造理论与方法研究
期刊论文 127 会议论文 62 获奖 8 著作 5
同项目期刊论文
一种以用户为中心的移动互联网身份管理及认证系统
Effect:An Operational View Mechanism for Decentralized Information Flow Control
MSMAM:Testing Resources Allocation,Obtaining Non-Functional Indexes Based on Functional Testing Resu
Formal Analysis of Information Card Federated Identity-Management Protocol
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
一种基于手机令牌和NFC技术的身份认证系统
Study on getting non-functional security property from functional testing results
An insecure information flow path search method in decentralized information flow control system
嵌入式系统可信平台模块研究
一种基于约束的指针程序路径选择方法
The research of energy consumption optimization for distributed intrusion detection system
A Trusted Environment Construction Method for Security-Sensitive Software
VirtinSpector：一种基于UEFI的虚拟机动态安全度量框架设计与实现
新型的轻量级数字签名方案
基于图编辑距离的恶意代码检测
Flume系统的隐蔽信道搜索问题研究
HBROP：基于硬件性能计数器的函数级ROP检测
室内残留甲醛气体污染检测技术研究与仿真
vTSE：一种基于SGX的vTPM安全增强方案
IaaS下虚拟机的安全存储和可信启动
可信计算技术在嵌入式操作系统中的应用
约束条件下基于区间组合的测试用例生成
AES的轻量优化及其在射频识别标签中的应用
基于ElGamal签名方案的云数据完整性感知方法
基于软件定义网络的非集中式信息流控制系统——S-DIFC
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于谓词抽象的测试用例约简生成方法
一类Bent函数的二阶非线性度下界
基于无干扰理论的并发程序隐私性分析模型研究
改进的K最短路径算法在通信网络中的应用
基于纠错编码的多变量公钥加密方案(英文)
HyperSpector：基于UEFI的VMM动态可信监控基的设计与实现
一种基于VT-d技术的虚拟机安全隔离框架研究
基于程序流敏感的自修改代码混淆方法
面向嵌入式系统的威胁建模与风险评估
Study on detection of covert channel in Flume system
A screening method of security functional components based on fuzzy
Eliciting security requirements method based on safety knowledge base
A threat model-driven security testing approach for web application
一种面向应用需求的代码保护方法
基于模拟关系的编译优化实现正确性验证方法
An efficient method for detecting concurrency errors in object-oriented programs
一种用于类C语言环境的安全的类型化内存模型
A Browser Extension Vulnerability Detecting Approach Based on Behavior Monitoring and Analysis
Compiler Directed Write-Mode Selection for High Performance Low Power Volatile PCM
An Optimization Algorithm of Variable Allocation Based on Block Architecture
Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
Effect: An Operational View Mechanism for Decentralized Information Flow Control
Behavior-oriented modeling and visualization for web service composition
一种基于语义的业务活动推荐方法
一种多核系统可靠性加强的任务调度方法
Robustness analysis of social network based on a dynamic model
Compiler-assisted STT-RAM-based hybrid cache for energy efficient embedded systems
一个机器检测的Micro-Dalvik虚拟机模型
Dynamical integrity of codes: Model and method
基于动态协同双向映射的相似执行路径生成方法
程序的动态完整性:模型和方法
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
面向总线翻转编码的低能耗指令调度方法
降低寄存器软错误的静态寄存器重分配方法
Characteristic Behavior Sequence Based Attack Detection Method for Browser Extension
面向嵌入式系统绿色需求的数据分配方法
新型非易失性存储器架构的缓存优化方法综述
面向总线的低功耗优化方法探究
物联网环境中数据存储与查询机制研究
Dynamic Measurement Protocol in Infrastructure as a Service
A multi-attribute rating based trust model: improving the personalized trust modeling framework
Effect:An Operational View Mechanism for Decentralized Information Flow Control
基于函数调用图的静态数据分配
基于行为模型的需求可视化研究
面向服务软件异常处理研究综述
Flume系统的隐蔽信道搜索问题研究
基于k近邻最弱前置条件的程序多路径验证方法
基于软件定义网络的非集中式信息流控制系统——S-DIFC
代码/需求行为差异检测
基于场景行为的需求建模及质量特性检测
面向软件行为的需求模型可视化研究
面向软件行为的多视点需求建模方法
一种SRAM辅助新型非易失性缓存的磨损均衡方法
一种基于随机Petri网的Web服务组合性能瓶颈定位策略
一种云平台可信性分析模型建立方法
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于线索抽象语法树的程序依赖图自动生成算法
一种可扩展的数字权限表达语言的形式化建模及分析
基于无干扰理论的并发程序隐私性分析模型研究
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
一种基于VT-d技术的虚拟机安全隔离框架研究
基于2阶段同步的GPGPU线程块压缩调度方法
Web应用存储型XSS漏洞检测方法及实现
嵌入式系统的安全启动机制研究与实现
A security-Improved Scheme for Virtual TPM Based on KVM
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
基于扩展LS2的VMM动态度量形式化分析
An Improved vTPM-VM Live Migration Protocol
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
HBROP：基于硬件性能计数器的函数级ROP检测
vTSE：一种基于SGX的vTPM安全增强方案
IaaS下虚拟机的安全存储和可信启动
基于k近邻最弱前置条件的程序多路径验证方法
基于软件定义网络的非集中式信息流控制系统——S-DIFC
一种云平台可信性分析模型建立方法
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
Dependence-Induced Risk： Security Metrics and Their Measurement Framework
静态可信度量根安全证明方法
授权约束下的平台配置证明研究
基于污点跟踪的固件漏洞定位研究
信任关系辅助的隐反馈Web服务推荐研究
基于SMM的密钥传输方案的设计与实现
基于信誉权值策略的多重第三方远程证明机制
SHA-3算法安全性的代数分析
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
HyperSpector：基于UEFI的VMM动态可信监控基的设计与实现
A Private User Data Protection Mechanism in TrustZone Architecture Based on Identity Authentication
一种基于VT-d技术的虚拟机安全隔离框架研究
C-TNC：适用于Openstack的可信云接入协议
基于信任扩展的可信云执行环境
An optimized program analysis based on constraint logic programming
Research on hardware security of embedded system in cloud environment
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSSDeadlock based on Value Evaluation
基于可信模块的面向云存储用户的密钥管理机制研究
一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法
嵌入式系统的安全启动机制研究与实现
面向IaaS的TRSAC访问控制策略研究与实现
适用于虚拟化环境的进程隔离方法研究与实现
TPM 2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案研究
Trusted Mobile Payment Environment Based on Trusted Com-puting and Virtualization Technologies
 A Formal Analysis of TPM 2.0 HMAC Authorization under DRM Scenario
 Multi-bit LWE-based Encryption Scheme without Decryption Errors
Security risk analysis of IaaS based on the Abstract State Machine model
An Efficient Anonymous Remote Attestation Scheme for Trusted Computing based on Improved CPK
Dynamic Measurement Protocol in Infrastructure as a Service
A Resistant Quantum Key Exchange Protocol and Its Corresponding Encryption Scheme
A security-Improved Scheme for Virtual TPM Based on KVM
Extensionimplementation of TCM in the embedded system based on FPGA
基于动态协同双向映射的相似执行路径生成方法
Research on Softwareprotection method based on USBKey
Formal Analysis ofInformation Card Federated Identity-Management Protocol
云GIS中远程证明通信机制的研究
基于可信模块的云存储用户密钥管理机制研究
基于结构熵的IaaS平台耦合度计算方法
面向IaaS云的TRSAC访问控制策略研究与实现
TPM 2.0密钥复制安全性增强方案
基于扩展LS2的VMM动态度量形式化分析
An optimized memory integrity verification mechanism based on advanced hot window Hash tree
一种面向IaaS租户的资源完整性度量协议
基于结构熵的IaaS平台耦合度计算方法研究
Dynamic Measurement Protocol in Infrastructure as a Service
An Improved vTPM-VM Live Migration Protocol
An insecure information flow path search method in decentralized information flow controlsystem
TPM2.0策略授权机制的安全缺陷及其改进方案
TPM2.0密钥复制安全性增强方案
一种面向IaaS租户的资源完整性度量协议
Effect:An Operational View Mechanism for Decentralized Information Flow Control
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
IaaS下虚拟机的安全存储和可信启动
基于k近邻最弱前置条件的程序多路径验证方法
一种云平台可信性分析模型建立方法
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于谓词抽象的测试用例约简生成方法
Hiding Information in MPEG Sequences by Using of B-Frames
基于污点跟踪的固件漏洞定位研究
信任关系辅助的隐反馈Web服务推荐研究
基于SMM的密钥传输方案的设计与实现
基于信誉权值策略的多重第三方远程证明机制
SHA-3算法安全性的代数分析
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
用于虚拟化环境的进程隔离方法研究与实现
一种基于OpenFlow的SDN访问控制策略实时冲突检测与解决方法
ATrusted Mobile Payment Environment Based on Trusted Computing and Virtualization Technology
一种基于VT-d技术的虚拟机安全隔离框架研究
C-TNC：适用于Openstack的可信云接入协议
基于信任扩展的可信云执行环境
期刊信息
  • 《电子科技大学学报》
  • 北大核心期刊（2011版）
  • 主管单位:国家教育部
  • 主办单位:电子科技大学
  • 主编：周小佳
  • 地址：成都市成华区建设北路二段四号
  • 邮编：610054
  • 邮箱：xuebao@uestc.edu.cn
  • 电话：028-83202308
  • 国际标准刊号：ISSN：1001-0548
  • 国内统一刊号：ISSN：51-1207/T
  • 邮发代号:62-34
  • 获奖情况:
  • 全国优秀科技期刊,第二届全国优秀科技期刊二等奖,两次获国家新闻出版署、国家教委“全国高校自然科...,中国期刊方阵双百期刊
  • 国内外数据库收录:
  • 美国化学文摘（网络版）,美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:12314