Dolev-Yao 标签归档 | 土法炼钢兴趣小组的算法知识备份

Dolev-Yao 标签归档

共 2 篇文章 · 返回首页

【密码学百科】威胁模型与安全目标：CIA 三要素之外

2026-04-04 | cryptography | #threat-model #CIA #Dolev-Yao #forward-secrecy #CPA #CCA #security-goals

密码学的安全性不是一个模糊的概念——它需要精确的定义、明确的攻击者模型和可验证的安全目标。本文从 CIA 三要素出发，深入 Dolev-Yao 模型、前向保密等现代安全概念

【密码学百科】协议安全性分析：形式化验证与符号模型

2026-04-12 | cryptography | #protocol-analysis #Dolev-Yao #BAN-logic #ProVerif #Tamarin #symbolic-model #computational-model #TLS-verification #Signal-verification

密码协议的安全性分析需要超越直觉——本文讲解 Dolev-Yao 符号模型、BAN 逻辑、ProVerif/Tamarin 等自动化验证工具，以及 TLS 1.3、Signal 等真实协议的形式化验证实践