收藏本站
《解放军信息工程大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

可信平台模块测试系统设计与实现

王禹  
【摘要】:可信平台模块(TPM,Trusted Platform Module)是可信计算技术中的核心硬件与信任基础,基于TPM的可信计算平台能够有效提高信息系统的安全性。随着可信计算的发展,越来越多的厂商推出了声称完全符合规范的TPM芯片。鉴于TPM的重要地位,它们与规范标准之间的符合度问题受到了极大关注,构建TPM测试系统成为亟待解决的问题。通过对现有TPM测试系统的研究,本文提出从TPM的接口命令层面来进行TPM测试系统的设计,实现了对TPM的功能测试。该系统由测试控制子系统和测试执行子系统组成,前者主要负责提供测试用例的控制策略以及对测试结果进行分析,后者负责提供测试用例的执行策略以及面向TPM的底层通信。本文的主要工作包括以下三点: 1、依照规范生成了TPM功能测试项集合,明确了测试的功能对象。在此基础上,将功能测试项划分为单功能单命令和单功能多命令两种类型,分别使用等价类划分的方法和有限状态机的方法,构造生成了两类测试项对应的测试用例集。 2、通过对TPM操作模式的研究,制定了符合TPM操作模式的测试用例控制策略。在研究TPM寄存器访存机制的基础上,给出了符合TPM访存机制的测试用例执行策略。解决了不同功能测试项对应测试用例的控制和执行问题。 3、在研究嵌入式平台外围接口以及TPM特殊LPC总线周期的基础上,选择嵌入式平台中的SPI总线接口进行扩展,并基于FPGA实现了SPI与LPC总线间的信号转换。解决了测试系统与TPM之间的底层通信问题。 本文最后对ST19WP18和AT97SC3203两款TPM进行了测试,发现ST19WP18中的完全自测和授权会话两项功能不符合TPM规范要求。通过分析测试结果,证明该系统能够有效的发现TPM中存在的功能差异。
【学位授予单位】:解放军信息工程大学
【学位级别】:硕士
【学位授予年份】:2009
【分类号】:TP309

手机知网App
【参考文献】
中国期刊全文数据库 前4条
1 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
2 崔奇;马楠;刘贤刚;;TPM接口命令标准符合性测试的设计与实现[J];计算机工程;2009年02期
3 詹静;张焕国;徐士伟;向騻;;基于状态机理论的可信平台模块测试研究[J];武汉大学学报(信息科学版);2008年10期
4 张焕国;罗捷;金刚;朱智强;余发江;严飞;;可信计算研究进展[J];武汉大学学报(理学版);2006年05期
【共引文献】
中国期刊全文数据库 前10条
1 谢东;温阳东;毕锐;周松林;;一种嵌入式远程监控系统的设计[J];安防科技;2008年05期
2 孔永锋;施伟斌;;基于RTP&RTCP的MPEG-4嵌入式Linux无线视频监控系统[J];安防科技;2009年12期
3 孙学宏;车进;张成;;基于GPRS的水利数据采集及远程监控系统研究[J];安徽农业科学;2009年36期
4 程荣龙;乔爱民;罗少轩;;汽车起重机力矩限制器软硬件系统的抗干扰设计[J];安徽科技学院学报;2010年05期
5 张玉芳;;网络空间的信息安全治理模型浅析[J];信息安全与技术;2011年06期
6 张玉芳;;网络社会秩序建设探析[J];信息安全与技术;2011年07期
7 刘承学;申斌;胡娜;;浅析可信计算技术及其发展[J];信息安全与技术;2012年01期
8 黄健;;计算机信息安全技术及防护[J];信息安全与技术;2012年04期
9 王良润;侯宏;沈文轩;;嵌入式操作系统μC/OS-Ⅱ在直流屏中的应用[J];鞍山科技大学学报;2006年04期
10 向毅;江永清;吴英;李斌;许迪;王煜;;基于CMOS图像传感器的嵌入式机器视觉系统[J];半导体光电;2008年03期
中国重要会议论文全文数据库 前10条
1 周学广;张焕国;;一种柔性中文字符串匹配算法[A];第二十七届中国控制会议论文集[C];2008年
2 周翔;沈明霞;;基于GPRS的农田信息采集系统设计与实现[A];节能环保 和谐发展——2007中国科协年会论文集(三)[C];2007年
3 谢铁城;达新宇;陈树新;郭威武;;基于ARM的电台训练模拟器的数据存储实现[A];第三届全国嵌入式技术和信息处理联合学术会议论文集[C];2009年
4 李明远;黄伟;;信息网络安全管理组织构建[A];第二十次全国计算机安全学术交流会论文集[C];2005年
5 何明;裘杭萍;杨飞;刘勇;;基于可信分布式系统的可信认证技术研究[A];全国计算机安全学术交流会论文集(第二十三卷)[C];2008年
6 马晓明;李超;;美国近期信息安全战略法规动向[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
7 缪嘉嘉;温研;张东戈;冷健;;基于可信隔离运行环境的信息资产保护系统[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
8 陈荣保;贾承勇;;具有视频测量的DCS在化工生产中的应用[A];第十七届全国测控计量仪器仪表学术年会(MCMI'2007)论文集(下册)[C];2007年
9 王酣;赵昭;邢荣欣;李洁;;SoC测试系统校准技术概述[A];第十九届测控、计量、仪器仪表学术年会(MCMI'2009)论文集[C];2009年
10 唐锐;黄波;王晓晗;魏建中;;数字信号处理器测试过程中若干问题的探讨[A];2010第十五届可靠性学术年会论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 罗东;基于供应链管理的电子采购系统若干问题研究[D];电子科技大学;2011年
2 罗向阳;数字图像隐写检测关键问题研究[D];解放军信息工程大学;2010年
3 王后珍;扩展MQ密码体制的构造理论研究[D];武汉大学;2010年
4 黄文超;移动自组网下可信路由及其形式化建模的研究[D];中国科学技术大学;2011年
5 李国波;认证与恢复统一的自嵌入水印算法及其拓展应用研究[D];复旦大学;2011年
6 彭维平;基于可信平台的数据泄漏防护关键技术研究[D];北京邮电大学;2011年
7 宋成;可信计算平台中若干关键技术研究[D];北京邮电大学;2011年
8 杨力;无线网络可信认证技术研究[D];西安电子科技大学;2010年
9 邱罡;可信系统保护模型研究与设计[D];西安电子科技大学;2010年
10 姜伟;基于攻防博弈模型的主动防御关键技术研究[D];哈尔滨工业大学;2010年
中国硕士学位论文全文数据库 前10条
1 张国峰;基于移动GIS的施肥推介系统研究与开发[D];华中农业大学;2010年
2 王立飞;基于ARM的三相交流异步电动机调速系统研究[D];华中农业大学;2010年
3 张良清;基于嵌入式技术的高精度程控直流电源的研究[D];安徽工程大学;2010年
4 唐宇翔;嵌入式Internet网络的实时性研究[D];南昌航空大学;2010年
5 于皓;面向主题的物联网安全模型设计与研究[D];山东科技大学;2010年
6 朱凯;基于ARM和μC/OS-Ⅱ的数据采集器的研究与设计[D];山东科技大学;2010年
7 张宪华;基于嵌入式Linux的系统构建及桌面应用程序研究[D];山东科技大学;2010年
8 刘强;基于ARM9的机器人远程控制系统研究[D];山东科技大学;2010年
9 张波;基于嵌入式水质综合生物毒性在线自动分析仪控制器关键技术的研究[D];浙江理工大学;2010年
10 刘国栋;基于ARM与DSP的机器视觉硬件平台设计与研究[D];郑州大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 邓日失,刘又诚;软件标准符合性测试[J];北京航空航天大学学报;1997年01期
2 陈火旺,王戟,董威;高可信软件工程技术[J];电子学报;2003年S1期
3 孟庆树,张焕国,王张宜,覃中平,彭文灵;Bent函数的演化设计[J];电子学报;2004年11期
4 肖国镇;卢明欣;;DNA计算与DNA密码[J];工程数学学报;2006年01期
5 沈昌祥;张焕国;冯登国;曹珍富;黄继武;;信息安全综述[J];中国科学(E辑:信息科学);2007年02期
6 亓伟,叶晓俊,王建民;ODBC标准符合性测试框架[J];计算机工程;2005年20期
7 陶仁骥,陈世华;一种有限自动机公开钥密码体制和数字签名[J];计算机学报;1985年06期
8 张焕国,冯秀涛,覃中平,刘玉珍;演化密码与DES的演化研究[J];计算机学报;2003年12期
9 林闯,彭雪海;可信网络研究[J];计算机学报;2005年05期
10 曹珍富;薛庆水;;密码学的发展方向与最新进展[J];计算机教育;2005年01期
中国博士学位论文全文数据库 前1条
1 陈军;可信平台模块安全性分析与应用[D];中国科学院研究生院(计算技术研究所);2006年
【相似文献】
中国期刊全文数据库 前10条
1 何新华,张威,赵宇,卢庆龄;软件可靠性数学仿真测试平台设计与研制[J];装甲兵工程学院学报;1998年01期
2 冯柳平,武小年,周德新;软件测试技术在医保管理系统中的应用[J];桂林电子工业学院学报;2001年01期
3 王毅,蔡建平;基于API测试的分布式测试框架的研究与实现[J];计算机工程与设计;2004年08期
4 段红玉,陈炎龙;程序调试技巧[J];郑州牧业工程高等专科学校学报;2005年02期
5 张元华;王峻;;通过软件测试提高航空电台软件质量[J];电讯技术;2006年03期
6 贺青春;叶柏龙;;完全路径覆盖测试法[J];矿业研究与开发;2007年01期
7 刘海鹏;;手机软件测试简介[J];科技咨询导报;2007年01期
8 刘杰;;软件测试与测试中的复用技术[J];科技资讯;2007年04期
9 李宝林;李志蜀;李斌;金虎;王莉;;基于Bayes的软件可靠性模型研究[J];计算机工程与科学;2007年10期
10 胡冬萍;;一种基于遗传算法的黑盒测试应用[J];科技广场;2008年08期
中国重要会议论文全文数据库 前10条
1 吉大纯;陈蕾;梁静;邵四海;;基于PG框架的软件结构测试用例自动生成研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年
4 戴骏炜;;软件自动化测试工具的引入[A];冶金企业自动化、信息化与创新——全国冶金自动化信息网建网30周年论文集[C];2007年
5 牛建义;杨正球;;基于HtmlParser的Web测试自动化的设计[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
6 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
7 王娜;孙敏;;软件测试方法研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 田丽芳;刘栓;;软件测试的学习方法探究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
9 张二梅;刘辰;杨正球;;基于HTMLParser自动生成测试用例的研究[A];2007北京地区高校研究生学术交流会通信与信息技术会议论文集(上册)[C];2008年
10 孟洛明;;安全性测试及基于属性文法的测试用例生成器[A];第四次全国计算机安全技术交流会论文集[C];1989年
中国重要报纸全文数据库 前10条
1 广伟;可信计算:应用进行时[N];中国经营报;2005年
2 可龙;太“给力”的可信计算应用方案[N];电脑报;2010年
3 文/毛江华 胡英;可信计算:安全终结者?[N];计算机世界;2004年
4 刘丽丽;我国自主可信计算获突破 12企业推产品[N];计算机世界;2007年
5 刘一冰;12家企业联合构建“可信计算”环境[N];电脑商报;2008年
6 郑申;我国可信计算将走强[N];金融时报;2008年
7 田冬梅 广文;可信计算频亮剑 自主科技铸安全[N];中国财经报;2009年
8 梁爽;可信计算应用领域前景广阔[N];中国政府采购报;2011年
9 特约记者 朱毅;可信计算先过三道槛[N];政府采购信息报;2008年
10 林雨;可信计算迎接应用普及潮[N];中国高新技术产业导报;2008年
中国博士学位论文全文数据库 前10条
1 潘丽丽;软件测试用例集简化及其构建方法研究[D];湖南大学;2009年
2 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
5 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
6 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
7 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
8 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年
9 闫建红;可信计算的动态远程证明研究[D];太原理工大学;2012年
10 祝晓春;增强型软件项目中测试工作量度量研究[D];浙江大学;2010年
中国硕士学位论文全文数据库 前10条
1 王禹;可信平台模块测试系统设计与实现[D];解放军信息工程大学;2009年
2 牟余鑫;基于测试用例的缺陷跟踪管理工具的设计与实现[D];吉林大学;2004年
3 章烨;Fuzz安全测试技术研究[D];西安电子科技大学;2010年
4 高凯;嵌入式实时操作系统性能测试方法的研究与应用[D];青岛大学;2010年
5 蔡琼;可信软件实时性测试用例构造方法研究[D];合肥工业大学;2010年
6 许扬;ATE软件测试策略及实例研究[D];电子科技大学;2004年
7 黄志华;基于规格说明的测试用例生成方法及其在实时嵌入式软件测试中的应用[D];新疆大学;2005年
8 殷广丽;软件测试管理与测试应用实践[D];山东大学;2005年
9 高超;实时CORBA平台一致性测试的研究与实现[D];北京邮电大学;2006年
10 高秋;GMTAF测试自动化框架的设计与实现[D];浙江大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026