位置：立项数据库 > 立项详情页
面向高安全等级要求的可信计算平台环境测评方法研究
  • 项目名称：面向高安全等级要求的可信计算平台环境测评方法研究
  • 项目类别：面上项目
  • 批准号：61272452
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：严飞
  • 依托单位：武汉大学
  • 批准年度：2012
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 39
  • 0
  • 0
  • 0
  • 0
期刊论文
嵌入式系统的安全启动机制研究与实现
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的可信云接入协议
基于信任扩展的可信云执行环境
严飞的项目
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3