【摘 要】
：
可信平台模块（trusted platform module,TPM）是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器
【机 构】
：
武汉大学计算机学院,武汉大学空天信息安全与可信计算教育部重点实验室,武汉大学软件工程国家重点实验室
【基金项目】
：
基金项目：国家自然科学基金项目（60673071,60743003,90718005,90718006）,国家“八六三”高技术研究发展计划基金项目（2007AA012411,2006AA012442）
论文部分内容阅读
可信平台模块（trusted platform module,TPM）是信息安全领域新发展趋势可信计算的关键部件,对其进行规范符合性测试非常有必要.由于传统测试方法与经验无法满足精确、易被机器处理的测试要求,状态机理论可为符合性测试的正确性提供理论基础,但易于产生状态爆炸问题.因此,基于TPM规范进行了一致性测试建模,提出相应策略提高测试效率,建立了TPM自动化测试工具.该工具能基于数据库自动生成测试用例,根据状态图进行一致性测试或自定义测试,达到过程可视化的效果.针对待测试产品得出了较为全面一致性结论和
其他文献
微波辐射应用于病理切片的特殊染色技术中是一种新的尝试。作者选择了常用的Ｗｅｉｇｅｒｔ＇ｓ弹力纤维染色、Ｍａｌｌｏｒｙ＇ｓ磷钨酸苏木精染色、Ｗｅｉｌ＇ｓ髓鞘染色、Ｍａｓｓｏｎ－Ｆｏｎｔａｎａ＇ｓ黑色素染色、Ｇｏｍｏｒｉ＇ｓ六胺银染色、ＰＡＳ反应、以及Ｓｔｅｅｄｍａｎ－Ａｌｃｉａｎ Ｂｌｕｅ染色等１１种染色
样本含量估计是临床试验和实验研究不可缺少的一步。作者认为,样本太小,检验效能不足,使应有的差别显现不出;样本太大,又会增加实际工作的困难,造成不必要的浪费,且对实验条
金融高教育如何适应社会主义市场经济建设的需要（上）刘锡良，肖龄，储爱武一、关于师资队伍建设师资队伍的建设始终是金融高等教育必须解决的首要问题。随着我国经济体制改革的深入
文章介绍在存储空间有限的嵌入式网络应用中，通过合理选择TCP／IP协议子集，实现了嵌入式Web服务器。详细分析了精简TCP／IP协议、嵌入式Web服务器在微嵌入式系统中的软件实现方法。
引言肝脏是肿瘤转移最常见的器官．由于肝脏同时接受肝动脉和门静脉的双重血供，而很多肿瘤所在器官的血液由门静脉引流，这种血供特点在转移性肝癌的高发病率中起决定性作用．我院自
全反式维甲酸治疗急性早幼粒细胞白血病１５例梁英民黄昌亮乔庆大吴明堂（第四军医大学唐都医院血液科西安７１００３８）关键词全反式维甲酸早幼粒细胞白血病中图号Ｒ７３３．７全反式维甲酸（ＲＡ）在治疗急性早幼粒
为了把大学生培养成为德智体全面发展的合格的专门人才,全面贯彻党的教育方针,我校自本学期开始,在教学中开设劳动课。规定每班每学期劳动一周并设立了专门管理机构和
随着数据存储规模的飞速增长,降低存储系统的总拥有成本,提高数据访问性能成为构建海量存储系统的关键.设计并实现了一个海量数据分级存储系统TH-TS（Tsinghua Tiered Storage）,
文章介绍了自主开发的智能配电系统的硬件构成，重点讲述基于MODBUS通讯协议的触摸屏与单片机系统的通讯方法。该方法降低了系统设计成本，并提高了设备的通用性。目前该系统已通