Security Proof

释义 Definition

Security proof：（加密/安全领域）安全性证明。指用严格的数学或形式化方法证明某个协议、算法或系统在既定威胁模型下满足特定安全性质（如机密性、不可伪造性、匿名性等）。在密码学里常见为“基于归约（reduction）的证明”。（在其他语境中也可泛指“关于安全性的证明材料/证据”，但最常见用法是密码学意义。）

发音 Pronunciation (IPA)

/sɪˈkjʊrəti pruːf/

例句 Examples

We need a security proof for this protocol.
我们需要为这个协议给出一个安全性证明。

The paper gives a security proof in the random oracle model, reducing any successful forgery to solving a hard mathematical problem.
论文在随机预言机模型下给出了安全性证明，把任何成功的伪造都归约为求解一个困难的数学问题。

词源 Etymology

security 来自拉丁语 securus（“无忧虑的、安心的”），经法语进入英语；proof 来自拉丁语 probare（“检验、证明”），经古法语进入英语。组合成 security proof，字面即“对安全性的证明”，在现代主要作为密码学与计算机安全领域的专业术语固定使用。

相关词 Related Words

• Adversary
• Cryptography
• Formal Verification
• Reduction
• Security Model
• Theorem
• Unforgeability

文学与著作中的用例 Literary / Notable Works

• Oded Goldreich, Foundations of Cryptography（《密码学基础》）：大量讨论“security proof / 安全性证明”的形式化定义与证明方法。
• Jonathan Katz & Yehuda Lindell, Introduction to Modern Cryptography（《现代密码学导论》）：以“安全性证明”为核心组织现代密码学的安全定义与归约证明。
• Dan Boneh & Victor Shoup, A Graduate Course in Applied Cryptography（《应用密码学研究生课程讲义》）：在协议与构造章节中频繁使用“security proof”来说明安全性论证。