【摘 要】
：
度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟
【机 构】
：
中国科学院 软件研究所,北京100190 中国科学院 研究生院,北京100049
【出 处】
：
第二届中国计算机网络与信息安全学术会议
论文部分内容阅读
度量-验证时间差问题是现有远程证明方法中的一个重要问题。它是因为现有方法中的加载时度量机制缺乏对系统状态变化的察觉和表达能力导致其无法表达当前状态。针对可信虚拟域中的虚拟环境证明提出一种方法在原有的加载时度量的基础上补充了卸载时度量,使得更改后的度量机制可以察觉并表达系统中对象的存活状态,即使用加载度量和卸载度量的差值来表达系统的当前状态,进而解决度量.验证时间差问题。
其他文献
只有少数细胞自动机邻域函数规则具有可逆性,这样利用已知的具有可逆性的细胞自动机实现分组加密便不够安全。针对这个不足,提出了一种需要2个初始状态的T型邻居细胞自动机模
电影《穿普拉达的恶魔》里,梅丽尔·斯特里普饰演的时尚杂志主编米兰达有着一头银发,外表十分光鲜,但说话尖酸刻薄,她动动嘴唇,就会令一位设计师改变自己的设计。很多人都说,
近日，被软禁长达7年的缅甸民运领袖昂山素季（Aung San Suu Kyi）终于重获自由。在过去21年中，昂山素季被幽禁的时间长达15年，但这都无碍她成为缅甸的民主之光，在黑暗和迷惘中，为该国国民照出一条坚毅的民主路。 官方电视台宣称昂山素季因“行为良好”而获释，报道又提到“她是为缅甸独立捐躯的昂山将军之女”，“不希望双方怀有怨恨”。她独特的家世，始终是她政治上的一大印记。 昂山素季的父亲昂
对黑鱿与阿根廷鱿的营养成分作了分析，并评价了它们的营养价值。研究表明：两种鱿所含营养成分大致接近。鱿的蛋白质含量高达７３．３％～７８．８％，而脂肪含量小于４．２０％，这有利于鱿鱼干制品的加工与贮存。两
从不同等级安全与效用分析的新角度,提出了基于模糊层次分析法的DRM安全策略效用评估及其博弈论选取。通过构建安全策略的层次分析结构,采用模糊判断一致矩阵,分析可选安全组
首先利用仿真工具产生了无线自组织网络中多种场景下的业务量,随后对业务量进行定性分析并验证了其内在的自相似性。接着根据自相似Hurst参数与投递率、分组传输平均时延之间
车载自组网(VANET,vehicular ad hoc networks)具有无中心、移动性和多跳传输等特点,使得传统的密钥管理方式不再适用。可信计算技术的快速发展和成功应用为解决VANET的有效
网络文本内容取证系统NFS-CTC中设计了全新的数据缩减技术方案,通过数据缩减来提高系统取证分析时效范围性能。经过数据缩减性能分析和实验验证,可以看出,NFS-CTC在取证分析
针对当前移动终端在无线异构网络间切换不理想的问题,提出了一种终端预测的切换算法。给出了网络代价函数,归一化网络参数,网络参数预测算法和垂直切换基本流程来确保垂直切
分析了无线传感器网络节点定位系统面临的安全挑战、可能受到的安全攻击和安全需求。着重综述了近年来该领域中具有代表性的安全策略的原理、特点和局限,并进行综合对比,以期