【摘 要】
：
可信远程证明是可信计算技术中非常重要的一部分，而可信证据又是可信远程证明的基础。但是，通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先，证
【基金项目】
：
国家高技术研究与发展计划(863计划,No.2006AA01Z440,2009AA012437);国家重点基础研究发展计划(973计划,No.2007CB311100);中国博士后科学基金(No.20100480173)
论文部分内容阅读
可信远程证明是可信计算技术中非常重要的一部分，而可信证据又是可信远程证明的基础。但是，通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先，证据信息不充分，不能满足可信证明的需求；其次，证据信息组织不够合理；最后，由于可信性具有一定的主观性，与用户的预期相关，但现有方法中在收集证据时没有考虑用户的预期。针对上述问题，提出了一种可信远程证明的证据模型建立方法。该方法依据可信属性建立证据模型与用户预期模型，并利用该模型对软件不同阶段的证据信息进行收集，最后，根据模型建立形式更加规范的
其他文献
随着新型农业、医疗系统及机器人等新兴产业的发展,市场对负载模拟器需求及其核心控制技术要求越来越大。被动式力矩伺服控制技术作为负载模拟器核心技术,研究和发展被动式力
云冈石窟规模庞大,为中国四大石窟艺术宝库之一,在中国和世界艺术史上有着重要地位。由于石窟寺类文物属于不可移动文物,复制云冈石窟并运输到海外展览,向世界各国人民宣传和推广云冈石窟文化,是云冈人多年的心愿。云冈石窟第18窟是在云冈石窟众多石窟中兼具规模大、工艺复杂和艺术价值高的一窟,运用装配式钢结构理念复制第18窟,践行习总书记的重要指示,让遗产活起来,对弘扬中华民族传统文化,具有重要意义。针对云冈石
本文介绍了中小学信息技术教学改革的背景，并从教学模式、教学理念以及教学方法等方面着重探讨“团队化教学模式”在中小学信息技术教学中的尝试与实践，推动了中小学信息化教学
化工原理是高分子材料与工程专业的一门重要的技术基础课程,根据该课程的特点,我们对该化工原理的教学内容、教学方法、教学手段及考核方式进行了改革尝试,以期加强学生对高
突发事件事实上是一系列次生、衍生甚至耦合事件的组合,称之为事件链。根据事件链(EC)所包含的4个要素——事件、交错关系、活动场景、灾害后果,将其表达为EC={ECL,R,Context
美学,是'研究人对现实的审美关系和审美意识,美的创造、发展及其规律的科学。它以艺术为主要研究对象,故黑格尔把美学称作‘艺术哲学’。'可以说,美学是艺术学的哲学
针对油井综合含水率高的特点,选取弱凝胶体系作为深部调驱堵水剂。实验测试不同聚丙烯酰胺（HPAM）浓度和不同交联剂浓度下的弱凝胶成胶强度,优选出HAPM的浓度为2000mg/L,交联剂
财务报表是公司根据财务标准或准则(如GAAP)编制的、向股东(如股票投资者)、高层管理者(CEO)、政府(如税务部门)或债权人(如银行)提供或报告的公司在一段时期以来的有关经营
目的评价两面针提取物在大鼠小肠内的吸收情况。方法采用HPLC法测定体循环液中氯化两面针碱的含量,用UV法测定体循环液中酚红的量,用来校正小肠中水的吸收量,以准确计算药物
节段拼装技术的节段预制有长线法和短线法两种,对比分析两种方法的优缺点,找到一种结合两种方法的新工艺—长短线结合法匹配预制箱梁,这种新工艺提高了施工质量和缩短了施工