可信虚拟平台相关论文
针对可信虚拟平台(trusted virtual platform,TVP)迁移协议缺乏有效的安全性验证问题,引入应用π演算对协议流程及安全属性进行形......
虚拟化技术作为云计算的关键技术，提高了企业计算资源的利用率。为了保证虚拟机运行环境的完整性和安全性，基于KVM虚拟机平台提出了......
在Xen虚拟平台中,用于完整性认证的虚拟可信平台模块（TPM）存在身份证明密钥（AIK）泄露隐患。为此,提出一种适用于可信虚拟平台的双AIK签......
针对可信虚拟平台信任链的形式化分析问题,建立了包括虚拟机和虚拟信任根在内的可信虚拟平台完整的信任链模型,并详细定义其应满足......
云环境中如何证明虚拟平台的可信,是值得研究的问题.由于云环境中虚拟平台包括运行于物理平台上的虚拟机管理器和虚拟机,它们是不......
