基于软硬件协同技术的嵌入式平台的可信性研究

来源 :山东大学 | 被引量 : 0次 | 上传用户:cangzhe
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着物联网概念提出和其相关技术的应用以及近年来可信计算技术的发展和进步,可信计算将是未来物联网以及信息平台得以进行安全通信和信息交换的基础。国际可信计算组织TCG (Trusted Computing Group)针对目前的可信计算平台可能遇到的威胁与攻击提出了一套完整的可信计算平台的解决方案和规范化定义。TCG认为可信计算平台的基础是可信根,关键是以可信根为基础,通过逐级的认证和度量,形成一个安全可靠的可信链。TCG定义的可信根,通常被实现为一个可信平台模块TPM(Trusted Platform Module). TPM对嵌入式可信计算平台的可信提供核心支撑,而TPM的核心通常是能对加密算法的进行高效实现的加密引擎。通常,可信计算平台的TPM必须能够高效实现用软件实现效率较差的加密算法,以满足可信计算平台对TPM可信支撑的性能要求。TPM中最关键的加密算法是非对称公钥加密算法,通常是RSA公钥加密算法,其运算复杂度特别高,通常需要通过专门的硬件电路如ASIC实现协处理器以适应可信平台的性能要求,而传统的嵌入式设备通常无法满足未来物联网对嵌入式可信计算平台的性能要求。另一方面,嵌入式可信计算平台通常对成本、价格、系统的资源消耗、芯片面积等因素非常敏感,因此在嵌入式可信计算平台设计的TPM模块无法像传统的计算平台中通过增加硬件资源用专门硬件电路实现的协处理来实现。针对这个问题,本文采用了一种基于软硬件协同设计技术的专用指令处理器的的设计和实现方法,来加速RSA算法的运行效率。所谓专用指令处理,是在原有处理器的指令集的基础,针对具体的应用,设计和选取一些适合于该应用的核心指令,将这些自定义的专用指令纳入到原有的处理器的指令集中,从而通过较小的硬件资源的消耗,实现对特殊应用的执行效率的大幅提升,同时还能保证软件层面的灵活性和可扩展性。本文采用的这种针对具体应用的专用指令处理器的设计方法,对于基于其他具体应用的专用指令处理器的设计具有普遍的指导意义。嵌入式可信计算平台的可信支撑的核心模块的TPM实现的关键是对RSA加密算法的高效实现,而传统的嵌入式系统的计算性能通常无法满足嵌入式的可信计算平台对性能的要求,所以,针对嵌入式可信计算平台中可信模块TPM中的RSA加密算法,本文通对RSA加密算法细节进行分析和实现,结合MM-Level专用指令选取算法选取可扩展优化自定义指令来扩展原有处理器的指令集的基础上,设计一款专用指令处理器RSA_ASIP。而专用指令的处理器的设计的核心,是专用指令的选取和设计。本文在研究大量的专用指令处理器中专用的指令的自动化选取方法之后,针对嵌入式可信计算平台中RSA专用指令的筛选和设计,总结了一套专用指令选取和设计方法。本文在全面分析RSA加密算法的基础上,针对RSA加密算法的核心部分,采用一种MM-Level指令选择算法,然后,针对嵌入式可信计算平台对系统的资源、面积、速度等因素的限制,采用了一种形式化量化的方法,将自定义指令的优选问题转化为一种整数线性规划ILP问题,最终将设计的专用处理器实现于FPGA平台。本文实现的RSA专用指令处理器采用了目前国际上比较流行的电子系统级ESL (Electronic System Level)的设计方法,使用专用的指令集架构语言LISA(Language for Instruction Set Architecture)语言对RSA算法中可优化的指令在原有的32位RISC处理器的基础上进行指令集的扩展,生成针对RSA算法的优化的专用指令处理器的设计模型,最终将生成的处理模型在FPGA上进行验证。
其他文献
本体是对特定领域之中某套概念及其相互之间关系的形式化表达。作为一种知识表达的方法,本体已经在很多领域得到了广泛应用,如Tim Berners-Lee提出的语义网构想和生物医学信
软件缺陷报告是开发人员和使用者在软件开发和维护中提交到软件缺陷库中的软件系统的错误。要管理铺天盖地而来的软件缺陷报告无疑是一项挑战性的任务。传统的方法是人工辨别
随着网络技术的发展,网络的安全问题逐渐凸显,由此也产生了大量的网络安全机制譬如防火墙、入侵检测、加密以及防病毒软件等等,其中入侵检测系统则是保护网络不受攻击的最重要
地质建模是油藏描述的核心,构造建模更是整个地质建模和后续相关地质研究的基础。本文主要分析了带断层和层面约束的储层精细建模过程和储层模型的三维可视化相关方法。并在此
随着计算机以及互联网技术的普及,信息安全越来越得到人们的重视,密码学作为信息安全的基石,也越来越得到人们的广泛关注。分组密码的研究是当今密码学研究的一个重要领域,分
太阳能热发电是一种清洁、可再生能源获取技术,它通过定日镜场将太阳光汇聚到接收器,从而将光能转化为热能进行发电。针对其中的光能传递高效模拟问题,本文提出了一个高效、准确且适应性强的大规模太阳能热发电定日镜场模拟系统。该系统通过对太阳光源进行建模,使用消隐算法对镜场中每一个镜面上的阴影进行预计算,同时对镜面的微表面反射模型进行优化,利用蒙特卡洛光线跟踪准确计算接收器在镜场中的接收效率。上述算法以大规模
互联网及计算机技术的普及与飞速发展,使得多媒体、商务政务、工业控制、社会经济生活等方方面面都呈现着信息化和数字化。然而,信息的安全传输一直是世界范围人们关注的焦点
社会的发展对信息安全的要求越来越高,而密码是信息安全的基石,受到学术界广泛的关注。自ZORRO算法提出之后,已经有很多人对ZORRO算法进行过密码分析。吴文玲等人发现ZORRO算
近年来,随着车联网(VANETs, Vehicular Ad hoc Networks)理论的深入研究及其在智能交通、安全、娱乐等方面的应用,车联网在提升道路交通管理水平,进行主动事故告警、事故隐患
随着物联网应用的推广,出现了更多的低功耗高速率实时通信技术需求。IEEE802.15.4是当前低功耗通信的标准,但不适用于高速实时传输。它不能解决多于七个设备需要实时服务、时延