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

在密码学中，安全的定义必须明确，不能模糊。

形式化安全目标迫使设计者思考保护对象和攻击面，提供可比较的安全评估标准。

CIA三要素（机密性、完整性、可用性）是信息安全的经典框架，但存在局限性，未涵盖认证、不可否认性和隐私等属性。

现代密码学需要关注认证、不可否认性、可追溯性、可审计性、隐私和匿名性等更丰富的安全属性。

攻击者模型定义了攻击者的能力边界，设计时需考虑潜在威胁，以避免历史上失败案例的重演。

Dolev-Yao模型是网络攻击者的标准化模型，假设攻击者完全控制网络通信信道。

前向保密确保即使长期密钥泄露，过去的通信仍然安全；后妥协安全关注密钥泄露后的自愈机制。

安全归约通过将方案的安全性归约到计算困难问题，提供可证明的安全性。

威胁建模是系统设计中的重要环节，需识别关键资产、定义攻击者画像、枚举攻击面并评估风险。

有效的威胁建模需要持续更新，以适应系统演进和新出现的攻击技术。