【摘 要】
：
远程认证在可信计算中起着重要作用,它能提供可信环境存在的可靠证据。目前的方法是测量目标平台的二进制码、配置文件、属性或者安全策略等可信值。所有这些认证方法是静态
【基金项目】
：
山西省自然科学基金资助项目（2009011022-2）, 山西省留学科研基金资助项目（2009-28）
论文部分内容阅读
远程认证在可信计算中起着重要作用,它能提供可信环境存在的可靠证据。目前的方法是测量目标平台的二进制码、配置文件、属性或者安全策略等可信值。所有这些认证方法是静态的,缺乏动态行为认证并且没有对于实际的行为进行说明和规范。为了改进和完善这些认证方式,提出了一种语义远程认证策略,并对其进行了定义、规范和证明。该策略是把使用控制模型和行为结合起来,能够动态测量远程平台的行为。
其他文献
武穴市龙翔药业有限公司位于武穴市医药化工城．是生产兽药为主的民营股份制企业，于2002年2月6日注册。现有注册资本1200万元。2005年销售收入5900万元。
在现代经济条件下，商业银行已进入全面竞争状态，市场营销战略的导入更加剧了资金实力，产品技术，服务，信息，人才等的竞争。银行只有充分运用市场营销策略，不断加大金融产品创新力度，才
在分析种子公司目前运营管理工作中存在的主要问题的基础上,介绍了基于J2EE技术的种子进销存信息管理平台的功能特点及实现方法。重点介绍系统的开发原理、模块设计、概要结
新时期的教育改革则是微观地对教学的革新。而作为我国母语的“语文”，如何在改革的浪潮中扬帆前行。是目前摆在语文教育界面前的主要任务，毫无疑问，高中语文教学肩负着一种特殊
实施单位是杭州吉天蔬菜种植科技有限公司，该公司成立于二0一一年七月，注册资本500万元，是省级农业龙头企业浙江吉天农业开发有限公司的一个下属单位，拥有蔬菜基地250亩，员工20余
建立和谐的教学管理关系是新形势下武警院校推进教学改革，协调内部关系。转变传统教育观念，提高院校人才培训质量和层次的必要举措。本文分别从院校的行政管理、教员管理、学员
对免疫算法的基本问题及典型的免疫算法进行了综述。介绍免疫算法中具有代表性的几个算法，着重阐述相关算法的实现以及主要的创新点；并以解决TSP问题为基础，对几种免疫算法进行
“售后包租”、“产权分割出售”，是近来房地产市场的热门字眼，该类现象背后的实质、存在的风险和问题已经引起管理者及投资者的关注，银行在发放涉及上述现象的商铺按揭贷款时，充
前苏联美学家斯托洛维奇曾说：“在每个领域中出现的凡是值得被称为艺术性的活动，都必定具有审美意义。”语文课堂中的阅读教学，它本身就是一种重要的审美因素，有着不呵忽视的美育
中小企业在国民经济发展中占有重要的地位但目前我国部分中小企业存在的信用缺失问题已经严重破坏了市场竞争秩序，影响了我国社会主义市场经济体制的完善，加强中小企业信用建设