可证明安全理论

• 前言
  可证明安全前言(课件)
• 密码学中的安全性证明
  基于规约的安全性证明(课件)
  基于游戏的安全性证明(课件)
  基于模拟的安全性证明(课件)
• 形式化证明
  形式化证明初步(课件)
  等式理论(课件)
  程序建模(课件)