【摘 要】
：
针对现有可信计算中远程证明方案的不足,将虚拟机技术和策略相结合,提出并实现了一种新的远程证明框架.该框架在用户终端构建可信虚拟机向应用系统提供可信的执行环境,服务方
【机 构】
：
信息工程大学电子技术学院,河南郑州,450004
论文部分内容阅读
针对现有可信计算中远程证明方案的不足,将虚拟机技术和策略相结合,提出并实现了一种新的远程证明框架.该框架在用户终端构建可信虚拟机向应用系统提供可信的执行环境,服务方可以制定灵活、细粒度的策略,并借助于可信虚拟机来分发和执行这些策略,从而保证终端平台的行为符合服务方的要求.通过相关分析和模拟实验,结果表明:该框架町以开放地允许更多的软件实体接入,并具有良好的实时性、动态性、灵活性,真正实现了基于行为的远程证明.
其他文献
通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法。该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估
采用线性逼近的思想,提出了一种基于Hamming距离的遗传算法适应度函数模型.在此基础上,利用遗传算法对1～6轮数据加密算法的不同模式长度的部分密钥进行了定量的对比分析实验,
按照杭州市的整体规划， 2019—2020年实现5G在杭州市区内的基本覆盖，2021—2022年将5G的覆盖范围拓展至全域。 每到节假日，西湖的断桥上总会出现拥挤的人潮，使得原本颇具意境的历史景观犹如闹哄哄的街市。不只西湖，全国大多数热门旅游目的地皆是如此，“景区变人海”的尴尬不断上演。 “我们一直在思考能否借助先进的移动通信技术解决这个痛点，让景区的管理更有序，游客们的体验更舒适。”中国移动
针对一个用于图像加密的密码算法(ICBGCM)在已知图像条件下的安全性问题,给出了求解加密算法等效密钥的攻击算法。该算法基于ICBGCM算法所使用的广义混沌Cat映射的短周期性和
针对目前可信软件栈(TSS)规范的应用兼容性问题,提出了TSS命令改进方案,使之能够支持多种密码算法的可信平台模块.通过对TSS体系结构和组成的分析,重点描述了可信服务提供层(
文章论述了家庭生活用水的氡浓度水平、生活用水对室内氡的贡献、水的使用过程中室内氡行为以及含氡水的使用与辐射照射剂量的关系等问题。指出家庭生活用水的氡浓度高时 ,是
提出并实现了基于windOWS NTFS和FAT32文件系统的关键档案保护系统.该系统采用权限验证、环境可信验证,数据完整性验证和透明加解密等技术手段,对系统的环境信息进行检测并生
将数字证书技术、认证代理技术和可信计算技术相结合,针对园区网环境,提出了一种基于可信计算平台的统一认证系统模型,该模型通过在计算终端引入可信平台模块、对用户身份统