Mbed TLS项目中TLS 1.2测试用例从RSA解密迁移到ECDHE-ECDSA或PSK的技术解析
2025-06-05 17:32:21作者:魏献源Searcher
随着密码学技术的演进和安全需求的提升,Mbed TLS项目正逐步淘汰RSA解密(RSA-decryption)相关的密钥交换机制。这一变革要求我们对现有的TLS 1.2测试用例进行相应的调整,以确保测试覆盖率的完整性和测试用例的现代性。本文将深入探讨这一迁移过程的技术细节和实施方案。
背景与动机
在TLS 1.2协议中,RSA解密曾是一种常见的密钥交换方式,但随着密码学的发展,ECDHE(椭圆曲线迪菲-赫尔曼临时密钥交换)和PSK(预共享密钥)等更安全、更高效的机制逐渐成为主流。Mbed TLS项目决定移除RSA解密支持,这不仅符合现代安全实践,还能简化代码库并减少潜在的安全风险。
迁移策略
迁移的核心原则是确保测试覆盖率不受影响,同时将依赖RSA解密的测试用例迁移到ECDHE-ECDSA或PSK。具体策略如下:
- 移除冗余测试用例:对于已经存在ECDHE-RSA或ECDHE-ECDSA等效测试的RSA解密测试用例,直接移除。
- 适配关键测试用例:对于没有等效测试的RSA解密测试用例,将其迁移到ECDHE-ECDSA或PSK。
- 特殊处理PSK测试用例:在非ECC密码套件测试中,由于FFDH和RSA解密的移除,PSK成为唯一选择,因此需要将相关测试迁移到PSK。
具体实施
测试套件调整
在test_suite_ssl中,以下测试用例需要进行调整:
- handshake_cipher:原本测试了包括AES-128-CCM在内的多种密钥交换和密码组合。现在需要将AES-128-CCM的测试用例迁移到ECDHE-ECDSA。
- handshake_ciphersuite_select:类似地,AES-256-CBC-SHA256的测试用例也需要迁移。
- resize_buffers_renegotiate_mfl:同样涉及AES-128-CCM的测试用例需要调整。
脚本调整
在ssl-opt.sh中,以下测试用例需要进行迁移:
- 加密然后MAC(Encrypt then MAC):迁移到ECDHE-ECDSA。
- CBC记录分割:TLS 1.2的无分割测试用例需要迁移。
- 大小数据包测试:包括小客户端数据包、小服务器数据包、大客户端数据包和大服务器数据包的测试用例都需要迁移。
- 强制非ECC密码套件:由于RSA解密的移除,这些测试用例需要迁移到PSK。
移除过时测试
以下测试用例由于RSA解密的移除而变得冗余,应直接移除:
- SSL异步私有密钥测试:这些测试原本用于验证部分回调支持,但由于代码路径的简化,不再需要。
技术细节
ECDHE-ECDSA的优势
ECDHE-ECDSA结合了椭圆曲线迪菲-赫尔曼临时密钥交换和ECDSA签名,具有以下优势:
- 前向安全性:临时密钥交换确保了即使长期密钥泄露,过去的通信也不会被解密。
- 性能:椭圆曲线密码学在相同安全强度下比RSA更高效。
- 现代性:符合当前的安全标准和最佳实践。
PSK的适用场景
PSK适用于以下场景:
- 资源受限环境:PSK不需要复杂的公钥运算,适合嵌入式设备。
- 预配置环境:在双方已共享密钥的环境中,PSK提供了简单的认证和密钥交换机制。
验证与确保覆盖率
在迁移过程中,必须确保测试覆盖率不受影响。具体措施包括:
- 代码覆盖率分析:使用工具检查迁移后的测试是否覆盖了所有关键代码路径。
- 功能验证:确保所有TLS 1.2的功能特性在迁移后仍能得到充分测试。
- 边界条件测试:特别关注边缘情况,如缓冲区大小、超时和错误处理。
总结
通过将Mbed TLS项目中的TLS 1.2测试用例从RSA解密迁移到ECDHE-ECDSA或PSK,我们不仅跟上了现代密码学的发展步伐,还提升了测试套件的安全性和效率。这一迁移过程需要精心规划和验证,以确保测试覆盖率的完整性和代码的可靠性。对于开发者而言,理解这一迁移的技术细节和背后的安全考量,将有助于更好地维护和扩展Mbed TLS项目。
登录后查看全文
热门项目推荐
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust0199
cann-learning-hubCANN 学习中心仓,支持在线互动运行、边学边练,提供教程、示例与优化方案,一站式助力昇腾开发者快速上手。Jupyter Notebook0130
MiMo-V2.5-Pro-FP4-DFlashMiMo-V2.5-Pro-FP4-DFlash 是驱动 MiMo-V2.5-Pro-UltraSpeed 的底层模型: FP4 量化骨干网络:对 MoE 专家采用 MXFP4 量化,同时保持模型其他部分的更高精度,在几乎无损质量的前提下,显著减小模型体积并降低内存带宽压力。 BF16 DFlash 草稿生成器:用于块扩散推测解码,每次前向传播可生成一整个块的 tokens,并让骨干网络一步完成验证。 两者协同作用,既降低了每参数的位宽,又减少了骨干网络前向传播的次数,而这两者正是万亿参数模型解码过程中的两大主要成本来源。Python00
JoyAI-EchoJoyAI-Echo,这是一个独立的、仅用于推理的版本,旨在实现分钟级多镜头音视频生成。它采用了经过蒸馏的DMD生成器、配对的跨模态记忆以及故事级别的一致性。其性能的核心在于,一个跨模态视听记忆库能够在长达五分钟的视频中保持角色外观和语音音色的一致性。同时,一个训练后处理流程将基于记忆的强化学习与分布匹配蒸馏相结合,实现了7.5倍的速度提升,显著增强了视觉质量和对齐效果。00
AstrBot✨ 易上手的多平台 LLM 聊天机器人及开发框架 ✨ 平台支持 QQ、QQ频道、Telegram、微信、企微、飞书 | OpenAI、DeepSeek、Gemini、硅基流动、月之暗面、Ollama、OneAPI、Dify 等。附带 WebUI。Python08
handy-ollama动手学Ollama,CPU玩转大模型部署,在线阅读地址:https://datawhalechina.github.io/handy-ollama/Jupyter Notebook07
热门内容推荐
最新内容推荐
项目优选
收起
deepin linux kernel
C
32
16
暂无描述
Dockerfile
770
5.02 K
本项目是CANN提供的神经网络类计算算子库,实现网络在NPU上加速计算。
C++
692
1.36 K
本项目是CANN提供的transformer类大模型算子库,实现网络在NPU上加速计算。
C++
865
1.96 K
Ascend Extension for PyTorch
Python
728
906
openEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。
C
461
455
本项目是CANN提供的数学类基础计算算子库,实现网络在NPU上加速计算。
C++
1.09 K
1.12 K
Claude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed.
Get Started
Rust
1.93 K
199
openJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力
TSX
3.09 K
643
本仓库是 Flutter SDK 与 Flutter Engine 的 OpenHarmony 适配版本,由 CPF-Flutter 团队维护。开发者可使用熟悉的 Flutter 技术栈开发 OpenHarmony 应用,3.35.7 及以后的适配版本可基于本仓库源码构建支持 OpenHarmony 的 Flutter Engine。
Dart
1.02 K
265