【摘 要】
：
远程认证在可信计算中起着重要作用,它能提供可信环境存在的可靠证据。目前的方法是测量目标平台的二进制码、配置文件、属性或者安全策略等可信值。所有这些认证方法是静态
【基金项目】
：
山西省自然科学基金资助项目（2009011022-2）, 山西省留学科研基金资助项目（2009-28）
论文部分内容阅读
远程认证在可信计算中起着重要作用,它能提供可信环境存在的可靠证据。目前的方法是测量目标平台的二进制码、配置文件、属性或者安全策略等可信值。所有这些认证方法是静态的,缺乏动态行为认证并且没有对于实际的行为进行说明和规范。为了改进和完善这些认证方式,提出了一种语义远程认证策略,并对其进行了定义、规范和证明。该策略是把使用控制模型和行为结合起来,能够动态测量远程平台的行为。
其他文献
在分析种子公司目前运营管理工作中存在的主要问题的基础上,介绍了基于J2EE技术的种子进销存信息管理平台的功能特点及实现方法。重点介绍系统的开发原理、模块设计、概要结
新时期的教育改革则是微观地对教学的革新。而作为我国母语的“语文”，如何在改革的浪潮中扬帆前行。是目前摆在语文教育界面前的主要任务，毫无疑问，高中语文教学肩负着一种特殊
实施单位是杭州吉天蔬菜种植科技有限公司，该公司成立于二0一一年七月，注册资本500万元，是省级农业龙头企业浙江吉天农业开发有限公司的一个下属单位，拥有蔬菜基地250亩，员工20余
建立和谐的教学管理关系是新形势下武警院校推进教学改革，协调内部关系。转变传统教育观念，提高院校人才培训质量和层次的必要举措。本文分别从院校的行政管理、教员管理、学员
对免疫算法的基本问题及典型的免疫算法进行了综述。介绍免疫算法中具有代表性的几个算法，着重阐述相关算法的实现以及主要的创新点；并以解决TSP问题为基础，对几种免疫算法进行
前苏联美学家斯托洛维奇曾说：“在每个领域中出现的凡是值得被称为艺术性的活动，都必定具有审美意义。”语文课堂中的阅读教学，它本身就是一种重要的审美因素，有着不呵忽视的美育