【摘 要】
：
计算平台可信证明是可信计算研究的热点问题。但是目前一些计算平台可信证明方案存在隐私保护和可行性等方面的缺陷．基于系统行为的计算平台可信证明模型（BTAM）在可信计算环境下
【机 构】
：
北京交通大学,中国科学院研究生院,北京工业大学
【基金项目】
：
国家973重点基础研究发展规划（No.G1999035801）
论文部分内容阅读
计算平台可信证明是可信计算研究的热点问题。但是目前一些计算平台可信证明方案存在隐私保护和可行性等方面的缺陷．基于系统行为的计算平台可信证明模型（BTAM）在可信计算环境下，根据可信行为期望策略，将平台状态证明转化为对平台历史行为序列的可信证明，有效地避免了在准确描述计算平台状态方面的难题，保证了模型实现的可行性和可扩展性，并且不会暴露证明平台的配置信息．删的原型实现和实验性能分析证明了它在防范诸如计算机病毒、木马类恶意软件攻击以及避免安全策略冲突行为等方面的安全能力，以及良好的实际安全运行效率．
其他文献
摘要:地理标志不同于其他知识产权的重要特色是其亲农性,它主要保护农产品,促进农业发展,增进农民利益。我国现行地理标志法律制度存在不符合亲农性要求的若干缺陷,有必要重构符合我国国情的地理标志保护模式,尽快制定《地理标志保护法》并建立与之配套的制度和政策体系。 关键词:地理标志;亲农性;地理标志保护法 中图分类号:D923.4文献标识码:A文章编号:1003—0751(2010)06—0099—0
四川省保险公司属下的机械电梯提升式立体汽车库,占地面积159m2.
摘 要：政治思想工作在电力企业中是非常重要的，其位置是不可忽视的，文中首先分析了做好电力企业政治思想工作的必要性，其次针对目前电力企业政治思想工作的现状展开论述，并同时提出相应的完善措施，为今后更好的完成电力企业政治思想工作打下坚实的基础。 关键词：电力；政治思想工作；企业 随着我国市场经济的逐步完善以及信息技术的不断发展，电力企业的体制改革日益深入，电力企业的员工思想受到了来自不同方面的信息
在安全生产中,人是行为的主体和重要载体.通过安全教育,提高全体职工对安全生产的认识和自我保护意识,规范人的行为,消除生产中的不安全因素,对保证安全至关重要;个别单位安
四川大学是一所历史悠久,文脉源长的国家重点大学,为了适应当前教育事业的发展进行迁建.目前已建成的教学科研用房就有14.7万m2;学生宿舍及生活用房18.7万m2;体育场地6.14万m
＂物理学的基础结构注定要坍塌,并将重建在一个新的基础之上。＂这是美国科学院院士、美国物理学学会主席、美国哲学学会副主席惠勒教授,在中国演讲时所下的结论。在惠勒演讲集的
并发冲突引起的连锁夭折会降低系统性能，提出了一种基于Qos的事务工作流调度算法，该算法适应异构环境需求，支持基于Qos的延迟调度优化策略和SAFE集合扩充优化策略，可根据QoS参数
金属切割机具有切料快捷,轻便省力的特点,因而被建筑工地广泛应用.但在使用中切割片高速旋转,稍有不慎,就会发生事故.同时,由于操作不当,切割片质量低劣等原因,伤人事故也时
近年来,随着市场经济的发展,建设领域突出的变化是市场主体的多元化和市场行为的多样化,这种变化给建筑安全生产管理提出了更高的要求和挑战.如何创新建筑安全生产监管机制,
针对嵌入式设备互连环境和嵌入式通信中间件的特点，结合马尔可夫决策过程理论，建立了解决路由问题的有限阶段模型，并修改马尔可夫有限阶段模型的向后递归迭代算法，提出了马尔可夫