Theorem等數學化的論述

在證實安全性時，常常是先給出定理，後期在證實，證實的過程當中會用到Lemma，Note，Claim，Remark等，下面主要介紹下它們的區別：web Definition：定義，定義安全性模型及其性質安全 Theorem：定理。是文章中重要的數學化的論述，通常有嚴格的數學證實。svg Proposition：能夠翻譯爲命題，通過證實且interesting，但沒有Theorem重要，比較經常使用。

>>阅读原文<<