位置：成果数据库 > 期刊 > 期刊详情页
VirtinSpector：一种基于UEFI的虚拟机动态安全度量框架设计与实现
  • ISSN号：1009-3087
  • 期刊名称：四川大学学报(工程科学版)
  • 时间：0
  • 页码：-
  • 相关项目：多安全等级信息系统的跨域行为安全性研究
作者： 严飞|石翔|李志华|王鹃|张焕国|
同期刊论文项目
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
同项目期刊论文
一种以用户为中心的移动互联网身份管理及认证系统
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
新型的轻量级数字签名方案
基于图编辑距离的恶意代码检测
Flume系统的隐蔽信道搜索问题研究
HBROP：基于硬件性能计数器的函数级ROP检测
室内残留甲醛气体污染检测技术研究与仿真
vTSE：一种基于SGX的vTPM安全增强方案
IaaS下虚拟机的安全存储和可信启动
可信计算技术在嵌入式操作系统中的应用
约束条件下基于区间组合的测试用例生成
AES的轻量优化及其在射频识别标签中的应用
基于ElGamal签名方案的云数据完整性感知方法
虚拟机环境下并行信任关系研究与实现
基于软件定义网络的非集中式信息流控制系统——S-DIFC
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于谓词抽象的测试用例约简生成方法
一类Bent函数的二阶非线性度下界
基于无干扰理论的并发程序隐私性分析模型研究
改进的K最短路径算法在通信网络中的应用
基于纠错编码的多变量公钥加密方案(英文)
HyperSpector：基于UEFI的VMM动态可信监控基的设计与实现
一种基于VT-d技术的虚拟机安全隔离框架研究