论文标题
通过强钥匙绝缘保证确保远程证明
Secure Remote Attestation with Strong Key Insulation Guarantees
论文作者
论文摘要
近年来,学术界和行业都看到了安全处理器设计的趋势。使用硬件增强的隔离的安全处理器将来可能是云计算的坚实基础。但是,由于最近的侧道攻击,商业安全的处理器未能提供安全隔离的执行环境的承诺。安全执行环境中的敏感信息始终通过侧渠道泄漏。这项工作考虑了最强大的基于软件的侧通道攻击者,即,所有数字观察(ADSO)对手都可以观察所有数字状态,包括所有数字状态,包括所有数字状态。在ADSO对抗模型中,传统的签名方案不安全。我们引入了一个新的加密原始原始词,称为一次性签名,并带有秘密密钥曝光(OTS-SKE),该签名即使所有秘密的会话密钥都泄漏,也可以确保没有人可以伪造新消息或Nonce的有效签名。 OTS-SKE使我们能够在ADSO对手下安全地签署证明报告。我们还通过将安全的协作处理器引入系统来最大程度地减少了受信任的计算基础,并且安全的协作处理器与认证处理器之间的相互作用是单向的。也就是说,联合处理器不从处理器中获取输入,而仅生成秘密键以获取处理器。我们的实验结果表明,OTS-SKE的签名比Intel SGX中使用的椭圆曲线数字签名算法(ECDSA)快。
Recent years have witnessed a trend of secure processor design in both academia and industry. Secure processors with hardware-enforced isolation can be a solid foundation of cloud computation in the future. However, due to recent side-channel attacks, the commercial secure processors failed to deliver the promises of a secure isolated execution environment. Sensitive information inside the secure execution environment always gets leaked via side channels. This work considers the most powerful software-based side-channel attackers, i.e., an All Digital State Observing (ADSO) adversary who can observe all digital states, including all digital states in secure enclaves. Traditional signature schemes are not secure in ADSO adversarial model. We introduce a new cryptographic primitive called One-Time Signature with Secret Key Exposure (OTS-SKE), which ensures no one can forge a valid signature of a new message or nonce even if all secret session keys are leaked. OTS-SKE enables us to sign attestation reports securely under the ADSO adversary. We also minimize the trusted computing base by introducing a secure co-processor into the system, and the interaction between the secure co-processor and the attestation processor is unidirectional. That is, the co-processor takes no inputs from the processor and only generates secret keys for the processor to fetch. Our experimental results show that the signing of OTS-SKE is faster than that of Elliptic Curve Digital Signature Algorithm (ECDSA) used in Intel SGX.