【摘 要】
：
信任链是可信计算平台的核心和基础,保证信任链实现正确以及与规范一致是非常必要的。本文在分析可信计算平台信任链规范的基础上,基于有限状态机理论给出信任链规范的形式化
【基金项目】
：
国家“九七三”重点基础研究发展规划项目基金(2007CB311100);北京市自然科学基金(4113069);北京市教委科研计划项目(007000546311501)资助
论文部分内容阅读
信任链是可信计算平台的核心和基础,保证信任链实现正确以及与规范一致是非常必要的。本文在分析可信计算平台信任链规范的基础上,基于有限状态机理论给出信任链规范的形式化模型,并基于唯一输入输出序列(unique input/output sequence,UIO),对于可信计算平台信任链的一致性测试方法进行了研究,最后,建立了可信计算平台信任链一致性测试原型系统。本文给出的信任链一致性测试方法为可信计算平台信任链的一致性测试提供了一种新的思路。
其他文献
体育教育是学校教育中的一个重要环节,它不仅对强健学生体魄有重要作用,同时对提升学生自身修养等有极大意义。在体育教学过程中渗入德育教育是达到"德、智、体、美、劳"共同
目的观察综合护理干预对预防全麻术后患者恶心呕吐的效果。方法选择全麻手术患者395例随机分为两组。对照组术后采取全麻术后常规的护理措施，实验组在常规护理措施基础上，实施
该文报道了26只松鼠猴发生的以肺脏的化脓、坏死、纤维素性渗出为主要病变的疾病过程,经临床诊察,病理剖检和实验室检验,确诊为沙门氏菌肺炎。选用对该菌高度敏感的氯霉素,阿
针对斗壁板非均匀折弯问题,根据零件特点提出反变形方法,解决了制造品质的难题,对类似结构零件加工,亦有较大参考价值。
针对目前基于人工免疫理论的入侵检测系统表现出来的检测率低、误检率高的缺点．本文通过对免疫理论在入侵检测方面的研究，提出一种基于人工免疫理论的异常检测动态模型．该模型采
介绍了BPBJV-1600/10矿用隔爆兼本质安全型高压变频器在焦作煤业(集团)新乡能源有限公司某二矿主煤流输送系统中的应用技术方案、负载自适应调速节能控制策略及运行情况。系
2019年8月,笔者赴新西兰参加培训,较为深刻地了解新西兰乡村发展情况,特别是新西兰通过发展现代农业实现现代化的路径和经验。对比分析新西兰农业与江苏农业发展,对推进乡村
矿产资源是一个国家经济发展的基础。因此,对矿产资源的开发利用,必须通过合理、有效的立法予以调整。我国的许多立法对矿产资源开采做出了相应的规定。在民法领域,《物权法
《卡斯特桥市长》是英国作家托马斯·哈代的悲剧代表作品之一,对英国文学创作乃至世界文坛的发展都产生了至关重要的影响作用,是英国文学作品上的瑰宝和奇葩所在,在《卡斯特
伤寒沙门氏菌合并肺炎支原体感染一例郑锡铭，李仕英，王更银，潘乃禾男，３岁。因发热３８～４０℃，８天，高热时伴手足痛，哭闹不安，发病第５天偶有干咳，躯干出现散在充血性皮疹一日后消退。胸片示两肺纹理