保障信任的硬件模块设计

A. Fournaris
{"title":"保障信任的硬件模块设计","authors":"A. Fournaris","doi":"10.1109/ISVLSI.2010.80","DOIUrl":null,"url":null,"abstract":"Trust in security demanding software platforms is a very important characteristic. For this reason, Trusted computing group has specified a TPM hardware module that can enforce and guaranty a high trust level to all the platform's involved entities. However, the TPM's features can not be fully exploited in systems under extreme physical conditions. To solve this problem, the use of a special purpose hardware module, physically connected to a host security system's device acting as a local trusted third party, has been proposed. In this paper, we propose a hardware structure of such a hardware module, called Autonomous Attestation Token (AAT) and discuss hardware resource constrains and security bottlenecks that can stem from improper design of its various components. From this analysis it can be concluded that the efficiency of the AAT system is closely related to the efficiency of its public key encryption-decryption unit (RSA encryption-decryption module). Thus, we propose a design methodology toward a low hardware resources (small chip covered area) and side channel attack resistant RSA hardware architecture. This architecture is based on a Fault and Simple power attack resistant version of CRT RSA algorithm that is optimized for the AAT core functionality and hardware structure. To achieve that, Montgomery modular multiplication is used with numbers in carry save format and a Fault and simple power attack resistant modular exponentiation algorithm (FSME) is developed based on this multiplication approach. The hardware structure, realizing the FSME algorithm, is the most complex and resource demanding part of the CRT RSA architecture and its behavior is discussed after implementing it in FPGA technology. The proposed architecture's implementation provides very optimistic results of very low chip covered area and high computation speed thus verifying the efficiency of the proposed algorithms and architecture design approach.","PeriodicalId":187530,"journal":{"name":"2010 IEEE Computer Society Annual Symposium on VLSI","volume":"51 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Hardware Module Design for Ensuring Trust\",\"authors\":\"A. Fournaris\",\"doi\":\"10.1109/ISVLSI.2010.80\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Trust in security demanding software platforms is a very important characteristic. For this reason, Trusted computing group has specified a TPM hardware module that can enforce and guaranty a high trust level to all the platform's involved entities. However, the TPM's features can not be fully exploited in systems under extreme physical conditions. To solve this problem, the use of a special purpose hardware module, physically connected to a host security system's device acting as a local trusted third party, has been proposed. In this paper, we propose a hardware structure of such a hardware module, called Autonomous Attestation Token (AAT) and discuss hardware resource constrains and security bottlenecks that can stem from improper design of its various components. From this analysis it can be concluded that the efficiency of the AAT system is closely related to the efficiency of its public key encryption-decryption unit (RSA encryption-decryption module). Thus, we propose a design methodology toward a low hardware resources (small chip covered area) and side channel attack resistant RSA hardware architecture. This architecture is based on a Fault and Simple power attack resistant version of CRT RSA algorithm that is optimized for the AAT core functionality and hardware structure. To achieve that, Montgomery modular multiplication is used with numbers in carry save format and a Fault and simple power attack resistant modular exponentiation algorithm (FSME) is developed based on this multiplication approach. The hardware structure, realizing the FSME algorithm, is the most complex and resource demanding part of the CRT RSA architecture and its behavior is discussed after implementing it in FPGA technology. The proposed architecture's implementation provides very optimistic results of very low chip covered area and high computation speed thus verifying the efficiency of the proposed algorithms and architecture design approach.\",\"PeriodicalId\":187530,\"journal\":{\"name\":\"2010 IEEE Computer Society Annual Symposium on VLSI\",\"volume\":\"51 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-07-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 IEEE Computer Society Annual Symposium on VLSI\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISVLSI.2010.80\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE Computer Society Annual Symposium on VLSI","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISVLSI.2010.80","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2

摘要

对安全要求高的软件平台的信任是一个非常重要的特征。出于这个原因,可信计算组指定了一个TPM硬件模块,该模块可以强制执行并保证对所有平台相关实体的高信任级别。但是,在极端物理条件下的系统中不能充分利用TPM的特性。为了解决这个问题,已经提出使用一个特殊用途的硬件模块,物理连接到主机安全系统的设备,作为本地可信的第三方。在本文中,我们提出了这样一个硬件模块的硬件结构,称为自治证明令牌(AAT),并讨论了硬件资源限制和安全瓶颈,这些瓶颈可能源于其各个组件的设计不当。由此可以看出,AAT系统的效率与其公钥加解密单元(RSA加解密模块)的效率密切相关。因此,我们提出了一种低硬件资源(小芯片覆盖面积)和抗侧信道攻击的RSA硬件架构的设计方法。该架构基于针对AAT核心功能和硬件结构进行优化的抗故障和抗简单功率攻击版本的CRT RSA算法。为了实现这一目标,将Montgomery模乘法用于进位保存格式的数字,并基于这种乘法方法开发了一种故障和简单的抗功率攻击的模幂算法(FSME)。实现FSME算法的硬件结构是CRT RSA体系结构中最复杂、对资源要求最高的部分,本文讨论了在FPGA技术中实现FSME算法后的硬件性能。该架构的实现结果非常乐观,芯片覆盖面积小,计算速度快,从而验证了所提出算法和架构设计方法的有效性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Hardware Module Design for Ensuring Trust
Trust in security demanding software platforms is a very important characteristic. For this reason, Trusted computing group has specified a TPM hardware module that can enforce and guaranty a high trust level to all the platform's involved entities. However, the TPM's features can not be fully exploited in systems under extreme physical conditions. To solve this problem, the use of a special purpose hardware module, physically connected to a host security system's device acting as a local trusted third party, has been proposed. In this paper, we propose a hardware structure of such a hardware module, called Autonomous Attestation Token (AAT) and discuss hardware resource constrains and security bottlenecks that can stem from improper design of its various components. From this analysis it can be concluded that the efficiency of the AAT system is closely related to the efficiency of its public key encryption-decryption unit (RSA encryption-decryption module). Thus, we propose a design methodology toward a low hardware resources (small chip covered area) and side channel attack resistant RSA hardware architecture. This architecture is based on a Fault and Simple power attack resistant version of CRT RSA algorithm that is optimized for the AAT core functionality and hardware structure. To achieve that, Montgomery modular multiplication is used with numbers in carry save format and a Fault and simple power attack resistant modular exponentiation algorithm (FSME) is developed based on this multiplication approach. The hardware structure, realizing the FSME algorithm, is the most complex and resource demanding part of the CRT RSA architecture and its behavior is discussed after implementing it in FPGA technology. The proposed architecture's implementation provides very optimistic results of very low chip covered area and high computation speed thus verifying the efficiency of the proposed algorithms and architecture design approach.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信