Theorem等数学化的论述

在证实安全性时，常常是先给出定理，后期在证实，证实的过程当中会用到Lemma，Note，Claim，Remark等，下面主要介绍下它们的区别：web Definition：定义，定义安全性模型及其性质安全 Theorem：定理。是文章中重要的数学化的论述，通常有严格的数学证实。svg Proposition：能够翻译为命题，通过证实且interesting，但没有Theorem重要，比较经常使用。

>>阅读原文<<