设计审查 on 办公AI智能小助手 https://blog.qife122.com/tags/%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5/ Recent content in 设计审查 on 办公AI智能小助手 Hugo zh-cn qife Fri, 19 Sep 2025 00:46:21 +0800 Ockam加密协议设计审查：安全通信架构深度解析 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E5%8D%8F%E8%AE%AE%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E5%AE%89%E5%85%A8%E9%80%9A%E4%BF%A1%E6%9E%B6%E6%9E%84%E6%B7%B1%E5%BA%A6%E8%A7%A3%E6%9E%90/ Fri, 19 Sep 2025 00:46:21 +0800 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E5%8D%8F%E8%AE%AE%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E5%AE%89%E5%85%A8%E9%80%9A%E4%BF%A1%E6%9E%B6%E6%9E%84%E6%B7%B1%E5%BA%A6%E8%A7%A3%E6%9E%90/ <h1 id="ockam加密设计审查---trail-of-bits博客">Ockam加密设计审查 - Trail of Bits博客</h1> <p><strong>Joop van de Pol, Marc Ilunga, Jim Miller, Fredrik Dahlgren</strong><br> 2024年3月5日<br> 审计, 密码学, 设计审查</p> <p>2023年10月，Ockam聘请Trail of Bits对其产品设计进行审查，该产品是一组旨在跨各种异构网络实现安全通信（即端到端加密和相互认证通道）的协议。安全系统始于设计阶段，这为安全实施和部署奠定了基础，特别是在密码学领域，安全设计可以预防整体漏洞。</p> Ockam加密设计审查：从协议安全到形式化验证 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E4%BB%8E%E5%8D%8F%E8%AE%AE%E5%AE%89%E5%85%A8%E5%88%B0%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/ Wed, 10 Sep 2025 22:50:40 +0800 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E4%BB%8E%E5%8D%8F%E8%AE%AE%E5%AE%89%E5%85%A8%E5%88%B0%E5%BD%A2%E5%BC%8F%E5%8C%96%E9%AA%8C%E8%AF%81/ <h1 id="ockam加密设计审查---trail-of-bits博客">Ockam加密设计审查 - Trail of Bits博客</h1> <p>Joop van de Pol, Marc Ilunga, Jim Miller, Fredrik Dahlgren<br> 2024年3月5日<br> 审计, 密码学, 设计审查</p> <p>2023年10月，Ockam聘请Trail of Bits审查其产品设计，该产品是一组旨在跨各种异构网络实现安全通信（即端到端加密和双向认证通道）的协议。安全系统始于设计阶段，这为安全实施和部署奠定了基础，特别是在密码学领域，安全设计可以预防整体漏洞。</p> Ockam加密设计审查：深入解析安全通信协议与身份验证机制 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E6%B7%B1%E5%85%A5%E8%A7%A3%E6%9E%90%E5%AE%89%E5%85%A8%E9%80%9A%E4%BF%A1%E5%8D%8F%E8%AE%AE%E4%B8%8E%E8%BA%AB%E4%BB%BD%E9%AA%8C%E8%AF%81%E6%9C%BA%E5%88%B6/ Wed, 10 Sep 2025 20:42:48 +0800 https://blog.qife122.com/p/ockam%E5%8A%A0%E5%AF%86%E8%AE%BE%E8%AE%A1%E5%AE%A1%E6%9F%A5%E6%B7%B1%E5%85%A5%E8%A7%A3%E6%9E%90%E5%AE%89%E5%85%A8%E9%80%9A%E4%BF%A1%E5%8D%8F%E8%AE%AE%E4%B8%8E%E8%BA%AB%E4%BB%BD%E9%AA%8C%E8%AF%81%E6%9C%BA%E5%88%B6/ <h1 id="ockam加密设计审查---trail-of-bits博客">Ockam加密设计审查 - Trail of Bits博客</h1> <p>Joop van de Pol, Marc Ilunga, Jim Miller, Fredrik Dahlgren<br> 2024年3月5日<br> 审计, 密码学, 设计审查</p> <h2 id="概述">概述</h2> <p>2023年10月，Ockam聘请Trail of Bits对其产品设计进行审查。该产品是一组协议，旨在跨各种异构网络实现安全通信（即端到端加密和相互认证的通道）。安全系统始于设计阶段，这为安全实施和部署奠定了基础，特别是在密码学领域，安全设计可以防止整个漏洞类。</p>