欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
mbed TLS 是 ARM mbed 提供给开发人员可以非常轻松地在其(嵌入式)产品中加入加密和 SSL/TLS 功能,采用 Apache v2 许可协议。
mbed TLS 库提供了一组可单独使用和编译的加密组件,您还可以使用单个配置头文件加入或排除这些组件。mbed TLS 还提供了构建于加密组件上的中央 SSL/TLS 模块,以及为 SSL 和 TLS 提供完整协议实施的抽象层和支持组件。
从功能角度来看,该库分为三个主要部分: