【密码学百科】威胁模型与安全目标：CIA 三要素之外
密码学的安全性不是一个模糊的概念——它需要精确的定义、明确的攻击者模型和可验证的安全目标。本文从 CIA 三要素出发，深入 Dolev-Yao 模型、前向保密等现代安全概念
Dolev-Yao 标签归档
共 2 篇文章 · 返回首页
【密码学百科】协议安全性分析：形式化验证与符号模型
聚焦密码协议的形式化分析方法——从 Dolev-Yao 符号模型到 ProVerif/Tamarin/Spin 三大工具的深度对比，以 TLS 1.2 三重握手漏洞为完整案例，展示形式化工具如何发现真实协议中的致命设计缺陷