论文部分内容阅读
为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境。
开放网络环境下的属性远程证明
【摘 要】
：
为解决基于完整性验证的可信平台证明机制中存在的诸多问题,给出了一个基于平台属性的远程证明抽象模型,借助可信第三方实现平台属性的有效验证。并使用逻辑安全语言对该模型进行了形式化描述和可行性验证。这种新的可信平台证明方式丰富了平台证明的安全语义,并且更适用于公平、开放的网络环境。
【机 构】
：
同济大学计算机科学与技术系,国家高性能计算机工程技术中心同济分中心
【出 处】
：
计算机应用
【发表日期】
：
2008年01期
其他文献
语言理解中，句法加工至关重要，它把各个意义单元以不同的方式整合起来，从而形成整体的意义袁征。句法加工的脑机制是心理语言学比较关注的问题，目前由于ERP技术和功能成像技术的
一、写在<当代中国国际战略思想研究>课题结项之后汤光鸿、朱凯兵二位学者主编的<当代中国国际战略思想研究>一书,是江苏省哲学社会科学"十五"规划一项课题的最终成果,2002年
国务院2008年6月25日，审议通过部分国务院组成部门、直属机构和部委管理国家局的《主要职责、内设机构和人员编制规定》。
美国政府2009年10月初放松了对商业雷达卫星的许可限制，允许美国公司分发更高质量的数据，开启了美国雷达卫星成像市场兴旺的大门。
【目的】人和动物腹泻的主要病原菌为大肠杆菌，本文主要研究贵州省致腹泻大肠杆菌毒力因子的分布类型。【方法】采用PCR技术对各毒力因子的基因分布进行研究。【结果】共分离
针对企业复杂能耗单元输入输出模型研究的要求,研究了基于改进资源分配网络的能耗单元输入输出模型辨识方法。针对常用的资源分配网络存在的问题,提出了一种基于粗糙集和正交最小二乘的资源分配网络设计方法,通过粗糙集数据分析与处理提取训练样本中典型的数据特征,再结合正交最小二乘学习算法选取对输出能量贡献最大的数据中心加入到隐层节点。实例仿真结果表明,采用该方法辨识企业能耗单元输入输出模型具有结构简单、训练快捷
作为信息支持设备的外部扩展功能,设计了基于西门子MC75模块的短消息平台。通过串口建立信息支持设备与MC75模块的连接,模块采用典型电路连接SIM卡与其他外设。软件部分对短消息发送模式与平台工作流程进行了介绍,并对短消息平台的工作特点进行了详细阐述。最终在该设备上实现了G网短消息的设置、收发与电话通信功能。
【目的】植物病原真菌毒素是一类重要的微生物源除草剂,本研究旨在找到一个新的具有除草活性的化合物结构。【方法】在前期薄层层析法、柱层析法和高效液相色谱法分析的基础
为改善乳酸乳球菌的生长性能,以轮枝链霉菌染色体DNA为模板,扩增得到编码谷氨酰胺转胺酶成熟酶的基因mtg,将其克隆到质粒pNZ8148中,电转化乳酸乳球菌NZ9000,获得乳酸乳球菌NZ
针对反向传播(BP)算法容易陷入局部极小点的问题,提出了一种改进价值函数,使其快速收敛到全局最小点的方法。对扩展的异或问题正弦函数模拟进行了仿真实验,结果对比表明,改进的BP算法能快速逃离局部极小点,收敛到全局最小点,达到了期望的效果。