可证明安全性自动化证明方法研究
doi: 10.3724/SP.J.1146.2008.01489
Researches on Automatic Approach of Provable Security
-
摘要: 可证明安全性是密码协议安全性评估的重要依据，但手写安全性证明容易出错且正确性难以判定。该文论述了基于游戏(Game based)转换的安全性证明及其自动化实现方法，重点论述了基于进程演算的自动化证明方法，并以该方法研究OAEP＋的自动化安全性证明，首次给出了其初始游戏和相关的观察等价式。Abstract: Probable security is an important criteria for analyzing the security of cryptographic protocols. However, writing and verifying proofs with hand are prone to errors. This paper introduces the game-based approach of writing security proofs and its automatic technique. It advocates the automatic security proof approach based on process calculus, makes researches on the automatic security proof of OAEP+, and presents its initial game and observational equivalences for the first time.
-
计量
- 文章访问数: 3034
- HTML全文浏览量: 80
- PDF下载量: 848
- 被引次数: 0
下载:
